$ git clone -n https://src.fedoraproject.org/rpms/ghc-tagged.git /var/lib/mock/f31-build-101284-33380/root/chroot_tmpdir/scmroot/ghc-tagged Cloning into '/var/lib/mock/f31-build-101284-33380/root/chroot_tmpdir/scmroot/ghc-tagged'... $ git reset --hard 764a71940be9c19092fa3c398c6f65c2b781d784 HEAD is now at 764a719 BR prof for lib and static for executable