$ git clone -n https://src.fedoraproject.org/rpms/ghc-microlens.git /var/lib/mock/f31-build-111993-34238/root/chroot_tmpdir/scmroot/ghc-microlens Cloning into '/var/lib/mock/f31-build-111993-34238/root/chroot_tmpdir/scmroot/ghc-microlens'... $ git reset --hard 2cd86cdc0d97ba8a3b6c571743112a4fbd831b42 HEAD is now at 2cd86cd BR prof for lib and static for executable