$ git clone -n https://src.fedoraproject.org/rpms/idris.git /var/lib/mock/f31-build-115440-34500/root/chroot_tmpdir/scmroot/idris
Cloning into '/var/lib/mock/f31-build-115440-34500/root/chroot_tmpdir/scmroot/idris'...
$ git reset --hard e14ad4c372872846d70ed0de2031527012f32359
HEAD is now at e14ad4c BR prof for lib and static for executable