$ git clone -n https://src.fedoraproject.org/rpms/coq.git /var/lib/mock/f37-build-677752-76313/root/chroot_tmpdir/scmroot/coq
Cloning into '/var/lib/mock/f37-build-677752-76313/root/chroot_tmpdir/scmroot/coq'...
$ git reset --hard e302be311db5e8e8d52652eda5b7d69493772f83
HEAD is now at e302be3 Remove the manual, which has a non-free license (bz 2132567).