$ git clone -n https://src.fedoraproject.org/rpms/ghc-DAV.git /var/lib/mock/f31-build-115474-34502/root/chroot_tmpdir/scmroot/ghc-DAV
Cloning into '/var/lib/mock/f31-build-115474-34502/root/chroot_tmpdir/scmroot/ghc-DAV'...
$ git reset --hard c683c19bd7a70732c0a57247947c2c078e5aa8f4
HEAD is now at c683c19 BR prof for lib and static for executable