$ git clone -n https://src.fedoraproject.org/rpms/gap-pkg-groupoids.git /var/lib/mock/f37-build-side-32-misc-devel-242818-14149/root/chroot_tmpdir/scmroot/gap-pkg-groupoids Cloning into '/var/lib/mock/f37-build-side-32-misc-devel-242818-14149/root/chroot_tmpdir/scmroot/gap-pkg-groupoids'... $ git reset --hard 930a4bacf627c5ecace9455f8b13b2cb4ca45c06 HEAD is now at 930a4ba Version 1.71. Update for gap 4.12.0.