$ git clone -n https://src.fedoraproject.org/rpms/ocaml-psmt2-frontend.git /var/lib/mock/f33-build-511333-64510/root/chroot_tmpdir/scmroot/ocaml-psmt2-frontend
Cloning into '/var/lib/mock/f33-build-511333-64510/root/chroot_tmpdir/scmroot/ocaml-psmt2-frontend'...
$ git reset --hard 3b901631f82f1f3375aaaf56c9795d64dce787f0
HEAD is now at 3b90163 Bump release and rebuild.