Related to gitlab.com:fedora/home#3.
The DEI Team intends to change the Antora component name of our Fedora Docs site, per a request going back to October 2022:
docs.fedoraproject.org/en-US/diversity-inclusion/ => docs.fedoraproject.org/en-US/dei/
docs.fedoraproject.org/en-US/diversity-inclusion/
docs.fedoraproject.org/en-US/dei/
I consulted with the Fedora Docs team for their advice, but it seems like Antora does not have a good way to do this per documentation. The official recommendation is to use a web server to create redirects for component-level changes.
It would be nice if the redirect could be case-insensitive. I am not sure how easy or hard that is to do.
The redirect should be created in tandem with a committer to the DEI Team Docs repo to avoid breakage of URLs for more than an hour or two.
Not urgent. As soon as possible. This requires coordination with a committer to the DEI Team Docs repository to avoid breakage of URLs for more than an hour or two.
Metadata Update from @zlopez: - Issue priority set to: Waiting on Assignee (was: Needs Review) - Issue tagged with: medium-gain, medium-trouble, ops
Metadata Update from @zlopez: - Issue assigned to zlopez
I created a PR with the redirect. This should be a case insensitive match. Now it's on DEI Team to say when they want to enable this.
Metadata Update from @zlopez: - Issue priority set to: Waiting on Reporter (was: Waiting on Assignee)
The redirect is now in place :thumbsup:
Metadata Update from @darknao: - Issue close_status updated to: Fixed - Issue status updated to: Closed (was: Open)
Log in to comment on this ticket.