$ git clone -n https://src.fedoraproject.org/rpms/gap-pkg-edim.git /var/lib/mock/f37-build-675193-75961/root/chroot_tmpdir/scmroot/gap-pkg-edim Cloning into '/var/lib/mock/f37-build-675193-75961/root/chroot_tmpdir/scmroot/gap-pkg-edim'... $ git reset --hard 9902fb3bdcf64cc3f22eb2fdf063bfbff75f2536 HEAD is now at 9902fb3 Version 1.3.6. Update for gap 4.12.0.