Page MenuHomeSoftware Heritage

user: Bootstrap listers high-level documentation
ClosedPublic

Authored by anlambert on Apr 22 2022, 6:11 PM.

Details

Summary

Add landing page of listersrs high-level documentation displaying
available ones in a table with the following column:

  • logo and name of the lister linking to its specific documentation
  • related links: source code, developer doc, development activity
  • current status: production, staging or development
  • link to related grant if any

Create one rst file per lister to further document.

Related to T3117

Depends on D7637

Diff Detail

Repository
rDDOC Development documentation
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

Build is green

Patch application report for D7638 (id=27652)

Could not rebase; Attempt merge onto b90babd909...

Updating b90babd..c49da8b
Fast-forward
 docs/_static/custom.css      |  10 ++-
 swh/docs/sphinx/conf.py      |   4 ++
 user/index.rst               |  26 +++-----
 user/listers/bitbucket.rst   |   7 +++
 user/listers/cgit.rst        |   7 +++
 user/listers/cran.rst        |   7 +++
 user/listers/crates.rst      |   7 +++
 user/listers/debian.rst      |   7 +++
 user/listers/gitea.rst       |   7 +++
 user/listers/github.rst      |   7 +++
 user/listers/gitlab.rst      |   7 +++
 user/listers/gnu.rst         |   7 +++
 user/listers/index.rst       | 146 +++++++++++++++++++++++++++++++++++++++++++
 user/listers/launchpad.rst   |   7 +++
 user/listers/maven.rst       |   7 +++
 user/listers/npm.rst         |   7 +++
 user/listers/opam.rst        |   7 +++
 user/listers/packagist.rst   |   7 +++
 user/listers/phabricator.rst |   7 +++
 user/listers/pypi.rst        |   7 +++
 user/listers/sourceforge.rst |   7 +++
 user/listers/tuleap.rst      |   7 +++
 user/loaders/archive.rst     |   7 +++
 user/loaders/bazaar.rst      |   7 +++
 user/loaders/cran.rst        |   7 +++
 user/loaders/crates.rst      |   7 +++
 user/loaders/cvs.rst         |   7 +++
 user/loaders/debian.rst      |   7 +++
 user/loaders/deposit.rst     |   7 +++
 user/loaders/git.rst         |   7 +++
 user/loaders/index.rst       | 126 +++++++++++++++++++++++++++++++++++++
 user/loaders/maven.rst       |   7 +++
 user/loaders/mercurial.rst   |   7 +++
 user/loaders/nixguix.rst     |   7 +++
 user/loaders/npm.rst         |   7 +++
 user/loaders/opam.rst        |   7 +++
 user/loaders/pypi.rst        |   7 +++
 user/loaders/subversion.rst  |   7 +++
 user/logos/archive.png       | Bin 0 -> 4056 bytes
 user/logos/bazaar.png        | Bin 0 -> 13321 bytes
 user/logos/bitbucket.png     | Bin 0 -> 3133 bytes
 user/logos/cgit.png          | Bin 0 -> 1950 bytes
 user/logos/cran.png          | Bin 0 -> 8703 bytes
 user/logos/crates.png        | Bin 0 -> 14681 bytes
 user/logos/cvs.png           | Bin 0 -> 2758 bytes
 user/logos/debian.png        | Bin 0 -> 4949 bytes
 user/logos/deposit.png       | Bin 0 -> 13316 bytes
 user/logos/git.png           | Bin 0 -> 3692 bytes
 user/logos/gitea.png         | Bin 0 -> 4543 bytes
 user/logos/github.png        | Bin 0 -> 2242 bytes
 user/logos/gitlab.png        | Bin 0 -> 5107 bytes
 user/logos/gnu.png           | Bin 0 -> 10864 bytes
 user/logos/launchpad.png     | Bin 0 -> 5801 bytes
 user/logos/maven.png         | Bin 0 -> 4565 bytes
 user/logos/mercurial.png     | Bin 0 -> 13208 bytes
 user/logos/nixguix.png       | Bin 0 -> 9874 bytes
 user/logos/npm.png           | Bin 0 -> 2385 bytes
 user/logos/opam.png          | Bin 0 -> 16402 bytes
 user/logos/packagist.png     | Bin 0 -> 11695 bytes
 user/logos/phabricator.png   | Bin 0 -> 3115 bytes
 user/logos/pypi.png          | Bin 0 -> 10482 bytes
 user/logos/sourceforge.png   | Bin 0 -> 3553 bytes
 user/logos/subversion.png    | Bin 0 -> 7792 bytes
 user/logos/tuleap.png        | Bin 0 -> 3264 bytes
 64 files changed, 526 insertions(+), 17 deletions(-)
 create mode 100644 user/listers/bitbucket.rst
 create mode 100644 user/listers/cgit.rst
 create mode 100644 user/listers/cran.rst
 create mode 100644 user/listers/crates.rst
 create mode 100644 user/listers/debian.rst
 create mode 100644 user/listers/gitea.rst
 create mode 100644 user/listers/github.rst
 create mode 100644 user/listers/gitlab.rst
 create mode 100644 user/listers/gnu.rst
 create mode 100644 user/listers/index.rst
 create mode 100644 user/listers/launchpad.rst
 create mode 100644 user/listers/maven.rst
 create mode 100644 user/listers/npm.rst
 create mode 100644 user/listers/opam.rst
 create mode 100644 user/listers/packagist.rst
 create mode 100644 user/listers/phabricator.rst
 create mode 100644 user/listers/pypi.rst
 create mode 100644 user/listers/sourceforge.rst
 create mode 100644 user/listers/tuleap.rst
 create mode 100644 user/loaders/archive.rst
 create mode 100644 user/loaders/bazaar.rst
 create mode 100644 user/loaders/cran.rst
 create mode 100644 user/loaders/crates.rst
 create mode 100644 user/loaders/cvs.rst
 create mode 100644 user/loaders/debian.rst
 create mode 100644 user/loaders/deposit.rst
 create mode 100644 user/loaders/git.rst
 create mode 100644 user/loaders/index.rst
 create mode 100644 user/loaders/maven.rst
 create mode 100644 user/loaders/mercurial.rst
 create mode 100644 user/loaders/nixguix.rst
 create mode 100644 user/loaders/npm.rst
 create mode 100644 user/loaders/opam.rst
 create mode 100644 user/loaders/pypi.rst
 create mode 100644 user/loaders/subversion.rst
 create mode 100644 user/logos/archive.png
 create mode 100644 user/logos/bazaar.png
 create mode 100644 user/logos/bitbucket.png
 create mode 100644 user/logos/cgit.png
 create mode 100644 user/logos/cran.png
 create mode 100644 user/logos/crates.png
 create mode 100644 user/logos/cvs.png
 create mode 100644 user/logos/debian.png
 create mode 100644 user/logos/deposit.png
 create mode 100644 user/logos/git.png
 create mode 100644 user/logos/gitea.png
 create mode 100644 user/logos/github.png
 create mode 100644 user/logos/gitlab.png
 create mode 100644 user/logos/gnu.png
 create mode 100644 user/logos/launchpad.png
 create mode 100644 user/logos/maven.png
 create mode 100644 user/logos/mercurial.png
 create mode 100644 user/logos/nixguix.png
 create mode 100644 user/logos/npm.png
 create mode 100644 user/logos/opam.png
 create mode 100644 user/logos/packagist.png
 create mode 100644 user/logos/phabricator.png
 create mode 100644 user/logos/pypi.png
 create mode 100644 user/logos/sourceforge.png
 create mode 100644 user/logos/subversion.png
 create mode 100644 user/logos/tuleap.png
Changes applied before test
commit c49da8ba98d3c7371b77f0d4a3555f75698646ac
Author: Antoine Lambert <anlambert@softwareheritage.org>
Date:   Fri Apr 22 18:07:40 2022 +0200

    user: Bootstrap listers high-level documentation
    
    Add landing page of listers high-level documentation displaying
    logos in a grid and linking to each lister documentation page.
    
    Create one rst file per lister to document.
    
    Related to T3117

commit ffddf88ba44b2de12bd7efca16c462e650d8d1da
Author: Antoine Lambert <anlambert@softwareheritage.org>
Date:   Wed Apr 20 16:22:18 2022 +0200

    user: Bootstrap loaders high-level documentation
    
    Add landing page of loaders high-level documentation displaying
    logos in a grid and linking to each loader documentation page.
    
    Create one rst file per loader to document.
    
    Related to T3117

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

This revision is now accepted and ready to land.Apr 22 2022, 7:49 PM
ardumont added a subscriber: ardumont.

lgtm

I'd say we are missing the 'heptapod' lister (fork of gitlab which supports mercurial repositories).

Use a table to enumerate available loaders instead of a grid (see updated diff description).

Build is green

Patch application report for D7638 (id=28280)

Could not rebase; Attempt merge onto 1be5975ec6...

Updating 1be5975..dd78814
Fast-forward
 docs/_static/custom.css      |  16 +-
 swh/docs/sphinx/conf.py      |   1 +
 user/index.rst               |  26 +--
 user/listers/bitbucket.rst   |   7 +
 user/listers/cgit.rst        |   7 +
 user/listers/cran.rst        |   7 +
 user/listers/crates.rst      |   7 +
 user/listers/debian.rst      |   7 +
 user/listers/gitea.rst       |   7 +
 user/listers/github.rst      |   7 +
 user/listers/gitlab.rst      |   7 +
 user/listers/gnu.rst         |   7 +
 user/listers/index.rst       | 434 +++++++++++++++++++++++++++++++++++++++++++
 user/listers/launchpad.rst   |   7 +
 user/listers/maven.rst       |   7 +
 user/listers/npm.rst         |   7 +
 user/listers/opam.rst        |   7 +
 user/listers/packagist.rst   |   7 +
 user/listers/phabricator.rst |   7 +
 user/listers/pypi.rst        |   7 +
 user/listers/sourceforge.rst |   7 +
 user/listers/tuleap.rst      |   7 +
 user/loaders/archive.rst     |   7 +
 user/loaders/bazaar.rst      |   7 +
 user/loaders/cran.rst        |   7 +
 user/loaders/crates.rst      |   7 +
 user/loaders/cvs.rst         |   7 +
 user/loaders/debian.rst      |   7 +
 user/loaders/deposit.rst     |   7 +
 user/loaders/git.rst         |   7 +
 user/loaders/index.rst       | 394 +++++++++++++++++++++++++++++++++++++++
 user/loaders/maven.rst       |   7 +
 user/loaders/mercurial.rst   |   7 +
 user/loaders/nixguix.rst     |   7 +
 user/loaders/npm.rst         |   7 +
 user/loaders/opam.rst        |   7 +
 user/loaders/pypi.rst        |   7 +
 user/loaders/subversion.rst  |   7 +
 user/logos/archive.png       | Bin 0 -> 4056 bytes
 user/logos/bazaar.png        | Bin 0 -> 13321 bytes
 user/logos/bitbucket.png     | Bin 0 -> 3133 bytes
 user/logos/cgit.png          | Bin 0 -> 1950 bytes
 user/logos/cran.png          | Bin 0 -> 8703 bytes
 user/logos/crates.png        | Bin 0 -> 14681 bytes
 user/logos/cvs.png           | Bin 0 -> 2758 bytes
 user/logos/debian.png        | Bin 0 -> 4949 bytes
 user/logos/deposit.png       | Bin 0 -> 13316 bytes
 user/logos/git.png           | Bin 0 -> 3692 bytes
 user/logos/gitea.png         | Bin 0 -> 4543 bytes
 user/logos/github.png        | Bin 0 -> 2242 bytes
 user/logos/gitlab.png        | Bin 0 -> 4503 bytes
 user/logos/gnu.png           | Bin 0 -> 10864 bytes
 user/logos/launchpad.png     | Bin 0 -> 5801 bytes
 user/logos/maven.png         | Bin 0 -> 4565 bytes
 user/logos/mercurial.png     | Bin 0 -> 13208 bytes
 user/logos/nixguix.png       | Bin 0 -> 9874 bytes
 user/logos/npm.png           | Bin 0 -> 2385 bytes
 user/logos/opam.png          | Bin 0 -> 16402 bytes
 user/logos/packagist.png     | Bin 0 -> 11695 bytes
 user/logos/phabricator.png   | Bin 0 -> 3115 bytes
 user/logos/pypi.png          | Bin 0 -> 10482 bytes
 user/logos/sourceforge.png   | Bin 0 -> 3553 bytes
 user/logos/subversion.png    | Bin 0 -> 7792 bytes
 user/logos/tuleap.png        | Bin 0 -> 5902 bytes
 64 files changed, 1085 insertions(+), 17 deletions(-)
 create mode 100644 user/listers/bitbucket.rst
 create mode 100644 user/listers/cgit.rst
 create mode 100644 user/listers/cran.rst
 create mode 100644 user/listers/crates.rst
 create mode 100644 user/listers/debian.rst
 create mode 100644 user/listers/gitea.rst
 create mode 100644 user/listers/github.rst
 create mode 100644 user/listers/gitlab.rst
 create mode 100644 user/listers/gnu.rst
 create mode 100644 user/listers/index.rst
 create mode 100644 user/listers/launchpad.rst
 create mode 100644 user/listers/maven.rst
 create mode 100644 user/listers/npm.rst
 create mode 100644 user/listers/opam.rst
 create mode 100644 user/listers/packagist.rst
 create mode 100644 user/listers/phabricator.rst
 create mode 100644 user/listers/pypi.rst
 create mode 100644 user/listers/sourceforge.rst
 create mode 100644 user/listers/tuleap.rst
 create mode 100644 user/loaders/archive.rst
 create mode 100644 user/loaders/bazaar.rst
 create mode 100644 user/loaders/cran.rst
 create mode 100644 user/loaders/crates.rst
 create mode 100644 user/loaders/cvs.rst
 create mode 100644 user/loaders/debian.rst
 create mode 100644 user/loaders/deposit.rst
 create mode 100644 user/loaders/git.rst
 create mode 100644 user/loaders/index.rst
 create mode 100644 user/loaders/maven.rst
 create mode 100644 user/loaders/mercurial.rst
 create mode 100644 user/loaders/nixguix.rst
 create mode 100644 user/loaders/npm.rst
 create mode 100644 user/loaders/opam.rst
 create mode 100644 user/loaders/pypi.rst
 create mode 100644 user/loaders/subversion.rst
 create mode 100644 user/logos/archive.png
 create mode 100644 user/logos/bazaar.png
 create mode 100644 user/logos/bitbucket.png
 create mode 100644 user/logos/cgit.png
 create mode 100644 user/logos/cran.png
 create mode 100644 user/logos/crates.png
 create mode 100644 user/logos/cvs.png
 create mode 100644 user/logos/debian.png
 create mode 100644 user/logos/deposit.png
 create mode 100644 user/logos/git.png
 create mode 100644 user/logos/gitea.png
 create mode 100644 user/logos/github.png
 create mode 100644 user/logos/gitlab.png
 create mode 100644 user/logos/gnu.png
 create mode 100644 user/logos/launchpad.png
 create mode 100644 user/logos/maven.png
 create mode 100644 user/logos/mercurial.png
 create mode 100644 user/logos/nixguix.png
 create mode 100644 user/logos/npm.png
 create mode 100644 user/logos/opam.png
 create mode 100644 user/logos/packagist.png
 create mode 100644 user/logos/phabricator.png
 create mode 100644 user/logos/pypi.png
 create mode 100644 user/logos/sourceforge.png
 create mode 100644 user/logos/subversion.png
 create mode 100644 user/logos/tuleap.png
Changes applied before test
commit dd78814eb4aaa6f84a033b4cd841c8bc0d1c63e4
Author: Antoine Lambert <anlambert@softwareheritage.org>
Date:   Fri Apr 22 18:07:40 2022 +0200

    user: Bootstrap listers high-level documentation
    
    Add landing page of listersrs high-level documentation displaying
    available ones in a table with the following column:
    
      - logo and name of the lister linking to its specific documentation
    
      - related links: source code, developer doc, development activity
    
      - current status: production, staging or development
    
      - link to related grant if any
    
    Create one rst file per lister to further document.
    
    Related to T3117

commit 0e01b00498cdbfc3d43dd68233a21a1e9029fd14
Author: Antoine Lambert <anlambert@softwareheritage.org>
Date:   Wed Apr 20 16:22:18 2022 +0200

    user: Bootstrap loaders high-level documentation
    
    Add landing page of loaders high-level documentation displaying
    available ones in a table with the following column:
    
      - logo and name of the loader linking to its specific documentation
    
      - related links: source code, developer doc, development activity
    
      - current status: production, staging or development
    
      - link to related grant if any
    
    Create one rst file per loader to further document.
    
    Related to T3117

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

Build is green

Patch application report for D7638 (id=28295)

Could not rebase; Attempt merge onto 1be5975ec6...

Updating 1be5975..4cb48b5
Fast-forward
 docs/_static/custom.css      |  16 +-
 swh/docs/sphinx/conf.py      |   1 +
 user/index.rst               |  26 +--
 user/listers/bitbucket.rst   |   7 +
 user/listers/cgit.rst        |   7 +
 user/listers/cran.rst        |   7 +
 user/listers/crates.rst      |   7 +
 user/listers/debian.rst      |   7 +
 user/listers/gitea.rst       |   7 +
 user/listers/github.rst      |   7 +
 user/listers/gitlab.rst      |   7 +
 user/listers/gnu.rst         |   7 +
 user/listers/index.rst       | 434 +++++++++++++++++++++++++++++++++++++++++++
 user/listers/launchpad.rst   |   7 +
 user/listers/maven.rst       |   7 +
 user/listers/npm.rst         |   7 +
 user/listers/opam.rst        |   7 +
 user/listers/packagist.rst   |   7 +
 user/listers/phabricator.rst |   7 +
 user/listers/pypi.rst        |   7 +
 user/listers/sourceforge.rst |   7 +
 user/listers/tuleap.rst      |   7 +
 user/loaders/archive.rst     |   7 +
 user/loaders/bazaar.rst      |   7 +
 user/loaders/cran.rst        |   7 +
 user/loaders/crates.rst      |   7 +
 user/loaders/cvs.rst         |   7 +
 user/loaders/debian.rst      |   7 +
 user/loaders/deposit.rst     |   7 +
 user/loaders/git.rst         |   7 +
 user/loaders/index.rst       | 394 +++++++++++++++++++++++++++++++++++++++
 user/loaders/maven.rst       |   7 +
 user/loaders/mercurial.rst   |   7 +
 user/loaders/nixguix.rst     |   7 +
 user/loaders/npm.rst         |   7 +
 user/loaders/opam.rst        |   7 +
 user/loaders/pypi.rst        |   7 +
 user/loaders/subversion.rst  |   7 +
 user/logos/archive.png       | Bin 0 -> 4056 bytes
 user/logos/bazaar.png        | Bin 0 -> 13321 bytes
 user/logos/bitbucket.png     | Bin 0 -> 3133 bytes
 user/logos/cgit.png          | Bin 0 -> 1950 bytes
 user/logos/cran.png          | Bin 0 -> 8703 bytes
 user/logos/crates.png        | Bin 0 -> 14681 bytes
 user/logos/cvs.png           | Bin 0 -> 2758 bytes
 user/logos/debian.png        | Bin 0 -> 4949 bytes
 user/logos/deposit.png       | Bin 0 -> 13316 bytes
 user/logos/git.png           | Bin 0 -> 3692 bytes
 user/logos/gitea.png         | Bin 0 -> 4543 bytes
 user/logos/github.png        | Bin 0 -> 2242 bytes
 user/logos/gitlab.png        | Bin 0 -> 4503 bytes
 user/logos/gnu.png           | Bin 0 -> 10864 bytes
 user/logos/launchpad.png     | Bin 0 -> 5801 bytes
 user/logos/maven.png         | Bin 0 -> 4565 bytes
 user/logos/mercurial.png     | Bin 0 -> 13208 bytes
 user/logos/nixguix.png       | Bin 0 -> 9874 bytes
 user/logos/npm.png           | Bin 0 -> 2385 bytes
 user/logos/opam.png          | Bin 0 -> 16402 bytes
 user/logos/packagist.png     | Bin 0 -> 11695 bytes
 user/logos/phabricator.png   | Bin 0 -> 3115 bytes
 user/logos/pypi.png          | Bin 0 -> 10482 bytes
 user/logos/sourceforge.png   | Bin 0 -> 3553 bytes
 user/logos/subversion.png    | Bin 0 -> 7792 bytes
 user/logos/tuleap.png        | Bin 0 -> 5902 bytes
 64 files changed, 1085 insertions(+), 17 deletions(-)
 create mode 100644 user/listers/bitbucket.rst
 create mode 100644 user/listers/cgit.rst
 create mode 100644 user/listers/cran.rst
 create mode 100644 user/listers/crates.rst
 create mode 100644 user/listers/debian.rst
 create mode 100644 user/listers/gitea.rst
 create mode 100644 user/listers/github.rst
 create mode 100644 user/listers/gitlab.rst
 create mode 100644 user/listers/gnu.rst
 create mode 100644 user/listers/index.rst
 create mode 100644 user/listers/launchpad.rst
 create mode 100644 user/listers/maven.rst
 create mode 100644 user/listers/npm.rst
 create mode 100644 user/listers/opam.rst
 create mode 100644 user/listers/packagist.rst
 create mode 100644 user/listers/phabricator.rst
 create mode 100644 user/listers/pypi.rst
 create mode 100644 user/listers/sourceforge.rst
 create mode 100644 user/listers/tuleap.rst
 create mode 100644 user/loaders/archive.rst
 create mode 100644 user/loaders/bazaar.rst
 create mode 100644 user/loaders/cran.rst
 create mode 100644 user/loaders/crates.rst
 create mode 100644 user/loaders/cvs.rst
 create mode 100644 user/loaders/debian.rst
 create mode 100644 user/loaders/deposit.rst
 create mode 100644 user/loaders/git.rst
 create mode 100644 user/loaders/index.rst
 create mode 100644 user/loaders/maven.rst
 create mode 100644 user/loaders/mercurial.rst
 create mode 100644 user/loaders/nixguix.rst
 create mode 100644 user/loaders/npm.rst
 create mode 100644 user/loaders/opam.rst
 create mode 100644 user/loaders/pypi.rst
 create mode 100644 user/loaders/subversion.rst
 create mode 100644 user/logos/archive.png
 create mode 100644 user/logos/bazaar.png
 create mode 100644 user/logos/bitbucket.png
 create mode 100644 user/logos/cgit.png
 create mode 100644 user/logos/cran.png
 create mode 100644 user/logos/crates.png
 create mode 100644 user/logos/cvs.png
 create mode 100644 user/logos/debian.png
 create mode 100644 user/logos/deposit.png
 create mode 100644 user/logos/git.png
 create mode 100644 user/logos/gitea.png
 create mode 100644 user/logos/github.png
 create mode 100644 user/logos/gitlab.png
 create mode 100644 user/logos/gnu.png
 create mode 100644 user/logos/launchpad.png
 create mode 100644 user/logos/maven.png
 create mode 100644 user/logos/mercurial.png
 create mode 100644 user/logos/nixguix.png
 create mode 100644 user/logos/npm.png
 create mode 100644 user/logos/opam.png
 create mode 100644 user/logos/packagist.png
 create mode 100644 user/logos/phabricator.png
 create mode 100644 user/logos/pypi.png
 create mode 100644 user/logos/sourceforge.png
 create mode 100644 user/logos/subversion.png
 create mode 100644 user/logos/tuleap.png
Changes applied before test
commit 4cb48b564ffdc7dabb554aab2ff64ebb044828a1
Author: Antoine Lambert <anlambert@softwareheritage.org>
Date:   Fri Apr 22 18:07:40 2022 +0200

    user: Bootstrap listers high-level documentation
    
    Add landing page of listersrs high-level documentation displaying
    available ones in a table with the following column:
    
      - logo and name of the lister linking to its specific documentation
    
      - related links: source code, developer doc, development activity
    
      - current status: production, staging or development
    
      - link to related grant if any
    
    Create one rst file per lister to further document.
    
    Related to T3117

commit dc96f6a8ecb772447b65718b202db70cc64b167f
Author: Antoine Lambert <anlambert@softwareheritage.org>
Date:   Wed Apr 20 16:22:18 2022 +0200

    user: Bootstrap loaders high-level documentation
    
    Add landing page of loaders high-level documentation displaying
    available ones in a table with the following column:
    
      - logo and name of the loader linking to its specific documentation
    
      - related links: source code, developer doc, development activity
    
      - current status: production, staging or development
    
      - link to related grant if any
    
    Create one rst file per loader to further document.
    
    Related to T3117

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