ci: Rename users documentation to user
ClosedPublic
Actions

Authored by ardumont on Oct 14 2021, 9:20 AM.

Details

Reviewers

None

Group Reviewers

Reviewers
System administrators

Maniphest Tasks

T3650: documentation: rename docs.s.o/users/ (plural) to docs.s.o/user/ (singular)

Commits

rCJSWH45dc6624d10f: ci: Rename users documentation to user

Summary

To actually be able to build and deploy the doc after D6467 lands.

Related to T3650

Diff Detail

Repository

rCJSWH Jenkins jobs

Lint

Automatic diff as part of commit; lint not applicable.

Unit

Automatic diff as part of commit; unit tests not applicable.

Event Timeline

ardumont created this revision.Oct 14 2021, 9:20 AM

Harbormaster completed remote builds in B24407: Diff 23494.Oct 14 2021, 9:20 AM

ardumont requested review of this revision.Oct 14 2021, 9:20 AM

ardumont edited the summary of this revision. (Show Details)Oct 14 2021, 11:41 AM

ardumont edited the summary of this revision. (Show Details)

ardumont added reviewers: Reviewers, System administrators.

ardumont edited the summary of this revision. (Show Details)

This revision was not accepted when it landed; it landed in state Needs Review.Oct 14 2021, 6:00 PM

Closed by commit rCJSWH45dc6624d10f: ci: Rename users documentation to user (authored by ardumont). · Explain Why

This revision was automatically updated to reflect the committed changes.

ardumont added a commit: rCJSWH45dc6624d10f: ci: Rename users documentation to user.

Revision Contents
Changeset List

Path

Size

jobs/

swh-docs.yaml

8 lines

Diff 23537

View Options

ci: Rename users documentation to userClosedPublicActions