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)

Build is green

Patch application report for D6647 (id=24170)

Rebasing onto 58b08623...

Current branch diff-target is up to date.

Changes applied before test

commit ff0c5666fed2d9fdf128ac606d51444be059cfc7
Author: Antoine R. Dumont (@ardumont) <ardumont@softwareheritage.org>
Date:   Wed Nov 17 14:06:33 2021 +0100

    changelog: Reference the opam coq repository ingestion
    
    Related to swh/infra/sysadm-environment#3717

See https://jenkins.softwareheritage.org/job/DDOC/job/build-on-diff/34/ for more details.

Some references in the commit message have been migrated:

• T3717 is now swh/infra/sysadm-environment#3717 (closed)

Rebase

Build is green

Patch application report for D6647 (id=24192)

Rebasing onto 23b479e7...

Current branch diff-target is up to date.

Changes applied before test

commit 218bf86a289eee40f42fca0f2ff6638cea994c38
Author: Antoine R. Dumont (@ardumont) <ardumont@softwareheritage.org>
Date:   Wed Nov 17 14:06:33 2021 +0100

    changelog: Reference the opam coq repository ingestion
    
    Related to swh/infra/sysadm-environment#3717

See https://jenkins.softwareheritage.org/job/DDOC/job/build-on-diff/36/ for more details.

Merge request was accepted

approved this merge request

First round done [1]

• [1] https://archive.softwareheritage.org/browse/search/?q=coq.inria.fr&visit_type=opam&with_content=true&with_visit=true

Merge request was merged

closed