$ git clone -n https://src.fedoraproject.org/rpms/alt-ergo.git /var/lib/mock/f31-build-52652-27709/root/chroot_tmpdir/scmroot/alt-ergo
Cloning into '/var/lib/mock/f31-build-52652-27709/root/chroot_tmpdir/scmroot/alt-ergo'...
$ git reset --hard 84816c8abd454e51a4304fc2dedbd6c380c84d8d
HEAD is now at 84816c8 Add a workaround for https://github.com/ocaml/ocaml/issues/7608.