Diffusion Jenkins jobs 45dc6624d10f

ci: Rename users documentation to user
45dc6624d10f
Actions

Tags

None

Subscribers

None

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

ci: Rename users documentation to user

Related to T3650

Details

Provenance

ardumont	Authored on Oct 14 2021, 9:20 AM
ardumont	Pushed on Oct 14 2021, 6:00 PM

Differential Revision

D6468: ci: Rename users documentation to user

Tasks

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

Event Timeline

ardumont committed rCJSWH45dc6624d10f: ci: Rename users documentation to user (authored by ardumont).Oct 14 2021, 9:20 AM

ardumont added a task: T3650: documentation: rename docs.s.o/users/ (plural) to docs.s.o/user/ (singular).Oct 14 2021, 6:00 PM

ardumont added an edge: D6468: ci: Rename users documentation to user.

Commit No Longer Exists

This commit no longer exists in the repository.