Renaming Production Operations in Operations #17

Merged
johanvdw merged 1 commit from grg/website:main into main 2026-10-23 11:55:31 +00:00
Contributor

Just a little name update as we set our mind on how this Devroom should be called.

Just a little name update as we set our mind on how this Devroom should be called.
Renaming Production Operations in Operations
Some checks are pending
ci/woodpecker/pr/woodpecker Pipeline was successful
ci/woodpecker/pull_request_closed/woodpecker Pipeline is pending approval
0d462b035d
johanvdw approved these changes 2026-10-23 11:52:24 +00:00
Collaborator
<!-- preview-link --> Staging preview: https://staging.fosdem.org/pr-17/
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
3 participants
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
FOSDEM/website!17
No description provided.