$ git clone -n https://src.fedoraproject.org/rpms/metamath.git /var/lib/mock/f33-build-335300-58370/root/chroot_tmpdir/scmroot/metamath
Cloning into '/var/lib/mock/f33-build-335300-58370/root/chroot_tmpdir/scmroot/metamath'...
$ git reset --hard ab251e34fe17a0200c8d7a92025e0534188918eb
HEAD is now at ab251e3 Version 0.187.