$ git clone -n https://src.fedoraproject.org/rpms/metamath.git /var/lib/mock/f31-build-86797-31706/root/chroot_tmpdir/scmroot/metamath
Cloning into '/var/lib/mock/f31-build-86797-31706/root/chroot_tmpdir/scmroot/metamath'...
$ git reset --hard e679e047990d0a4507918fd00989d0414acd7430
HEAD is now at e679e04 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild