docs: Update build to deploy the "users" sphinx instance (!80) · Merge requests · Platform / Infrastructure / CI CD / Jenkins jobs · GitLab

Antoine R. Dumont requested to merge generated-differential-D5898-source into generated-differential-D5898-target Jun 18, 2021

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

Migrated from D5898 (view on Phabricator)