$ git clone -n https://src.fedoraproject.org/rpms/coq.git /var/lib/mock/f37-build-642782-72070/root/chroot_tmpdir/scmroot/coq
Cloning into '/var/lib/mock/f37-build-642782-72070/root/chroot_tmpdir/scmroot/coq'...
$ git reset --hard f3e9333b09a82fabca82a9b438c198727d7d441c
HEAD is now at f3e9333 Version 8.16.0.  Drop upstreamed patch for Sphinx 4.5 support.