$ git clone -n https://src.fedoraproject.org/rpms/idris.git /var/lib/mock/f33-build-179716-45118/root/chroot_tmpdir/scmroot/idris
Cloning into '/var/lib/mock/f33-build-179716-45118/root/chroot_tmpdir/scmroot/idris'...
$ git reset --hard f1ba55d4fbdabf47742a81ace31ded239b749bbc
HEAD is now at f1ba55d fix the cabal-tweak-dep-ver line