$ git clone -n https://src.fedoraproject.org/rpms/z3.git /var/lib/mock/f33-build-366338-60796/root/chroot_tmpdir/scmroot/z3
Cloning into '/var/lib/mock/f33-build-366338-60796/root/chroot_tmpdir/scmroot/z3'...
$ git reset --hard 7fc71e141cdf635e2791df2112b4af3581897fcd
HEAD is now at 7fc71e1 Rebuild for ocaml-zarith 1.11.