$ git clone -n https://src.fedoraproject.org/rpms/ghc-case-insensitive.git /var/lib/mock/f40-build-742417-110760/root/chroot_tmpdir/scmroot/ghc-case-insensitive
Cloning into '/var/lib/mock/f40-build-742417-110760/root/chroot_tmpdir/scmroot/ghc-case-insensitive'...
$ git reset --hard 5c2f7b9e135d1a5b7d427d822606e36f3c4f5fe9
HEAD is now at 5c2f7b9 bump release