$ git clone -n https://src.fedoraproject.org/rpms/ghc-case-insensitive.git /var/lib/mock/f31-build-93670-32424/root/chroot_tmpdir/scmroot/ghc-case-insensitive
Cloning into '/var/lib/mock/f31-build-93670-32424/root/chroot_tmpdir/scmroot/ghc-case-insensitive'...
$ git reset --hard a8a6b0cb3857df1600e18c1de4918b5740b9119a
HEAD is now at a8a6b0c BR prof for lib and static for executable