$ git clone -n https://src.fedoraproject.org/rpms/z3.git /var/lib/mock/f31-build-61292-28849/root/chroot_tmpdir/scmroot/z3
Cloning into '/var/lib/mock/f31-build-61292-28849/root/chroot_tmpdir/scmroot/z3'...
$ git reset --hard 1f2d60975bd2d36519a1c3e61ae77f5d685ee72b
HEAD is now at 1f2d609 OCaml 4.08.0 (final) rebuild.