changelog: Reference the opam coq repository ingestion (!188) · Merge requests · Platform / Development / swh-docs · GitLab

Staging instance, all changes can be removed at any time

Silent mode is enabled

All outbound communications are blocked. Learn more.

Antoine R. Dumont requested to merge generated-differential-D6647-source into generated-differential-D6647-target Nov 17, 2021

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)