$ git clone -n https://src.fedoraproject.org/rpms/gap-pkg-polymaking.git /var/lib/mock/f37-build-side-32-misc-devel-387567-15984/root/chroot_tmpdir/scmroot/gap-pkg-polymaking
Cloning into '/var/lib/mock/f37-build-side-32-misc-devel-387567-15984/root/chroot_tmpdir/scmroot/gap-pkg-polymaking'...
$ git reset --hard 69c2ebe04aa9163f04af23c46f95c8992cb39348
HEAD is now at 69c2ebe Update for gap 4.12.0.