Home
Software Heritage
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Jenkins jobs
45dc6624d10f
ci: Rename users documentation to user
45dc6624d10f
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
None
Subscribers
None
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
Parents
rCJSWHcb5bb02aa0e4: swh-docs/dev: publish all built docs in jenkins
Branches
Unknown
Tags
Unknown
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
2021-10-14 09:20:19 (UTC+2)
ardumont
added a task:
T3650: documentation: rename docs.s.o/users/ (plural) to docs.s.o/user/ (singular)
.
Oct 14 2021, 6:00 PM
2021-10-14 18:00:41 (UTC+2)
ardumont
added an edge:
D6468: ci: Rename users documentation to user
.