ci: Rename users documentation to user (!86) · Merge requests · Platform / Infrastructure / CI CD / Jenkins jobs · GitLab

Antoine R. Dumont requested to merge generated-differential-D6468-source into generated-differential-D6468-target Oct 14, 2021

To actually be able to build and deploy the doc after swh/devel/swh-docs!165 (closed) lands.

Related to swh/devel/swh-docs#3650 (closed)

Migrated from D6468 (view on Phabricator)