$ git clone -n https://src.fedoraproject.org/rpms/ghc-microlens-ghc.git /var/lib/mock/f37-build-side-32-misc-devel-198999-12948/root/chroot_tmpdir/scmroot/ghc-microlens-ghc Cloning into '/var/lib/mock/f37-build-side-32-misc-devel-198999-12948/root/chroot_tmpdir/scmroot/ghc-microlens-ghc'... $ git reset --hard 355808937096ac138ea764a8da34694256c88d28 HEAD is now at 3558089 update to 0.4.13.1