changelog: Reference the opam coq repository ingestion
Well, it will be true during the day so i'll wait for it to finish. I'm using those diffs as a kind of "heads up".
Related to swh/infra/sysadm-environment#3717 (closed)
Test Plan
make -C docs happy
Migrated from D6647 (view on Phabricator)