$ git clone -n https://src.fedoraproject.org/rpms/Agda-stdlib.git /var/lib/mock/f31-build-113049-34329/root/chroot_tmpdir/scmroot/Agda-stdlib
Cloning into '/var/lib/mock/f31-build-113049-34329/root/chroot_tmpdir/scmroot/Agda-stdlib'...
$ git reset --hard ed74755a2e8bb2f385fc1fa4d12fb2373517a3c0
HEAD is now at ed74755 add upstream issue link