$ git clone -n https://src.fedoraproject.org/rpms/Agda.git /var/lib/mock/f31-build-48139-27022/root/chroot_tmpdir/scmroot/Agda
Cloning into '/var/lib/mock/f31-build-48139-27022/root/chroot_tmpdir/scmroot/Agda'...
$ git reset --hard 31025ad40ce0b23e7dd2923ecee9ad0b16dd8367
HEAD is now at 31025ad update to 2.5.4.2