$ git clone -n https://src.fedoraproject.org/rpms/ginac.git /var/lib/mock/f31-build-51276-27496/root/chroot_tmpdir/scmroot/ginac
Cloning into '/var/lib/mock/f31-build-51276-27496/root/chroot_tmpdir/scmroot/ginac'...
$ git reset --hard 4e997e9d546584f89e5d87f073b4b1cb0b84f205
HEAD is now at 4e997e9 Update to 1.7.6