$ git clone -n https://src.fedoraproject.org/rpms/ghc-random.git /var/lib/mock/f31-build-94517-32495/root/chroot_tmpdir/scmroot/ghc-random
Cloning into '/var/lib/mock/f31-build-94517-32495/root/chroot_tmpdir/scmroot/ghc-random'...
$ git reset --hard b0876dcf222a58bbbbb6bd46cc7b3833bc869c38
HEAD is now at b0876dc BR prof for lib and static for executable