ci: Rename users documentation to user
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)
Staging instance, all changes can be removed at any time
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)