$ git clone -n https://src.fedoraproject.org/rpms/zenon.git /var/lib/mock/f37-build-673512-75663/root/chroot_tmpdir/scmroot/zenon Cloning into '/var/lib/mock/f37-build-673512-75663/root/chroot_tmpdir/scmroot/zenon'... $ git reset --hard 55a46f7b3c2126ac57991b09c854992cff1e0779 HEAD is now at 55a46f7 Rebuild for coq 8.16.0.