Build succeeded.
https://fedora.softwarefactory-project.io/zuul/buildset/75175c0c7c054946861ae17b9279c2e9

• fi-ansible-lint-diff : SUCCESS in 5m 46s
• fi-yamllint-diff : SUCCESS in 3m 32s

I rebased this PR on latest changes in main. See also gitlab.com:fedora/dei/docs!3 for the required Antora changes for this to work as expected at the new address.

Note that the Fedora Docs site rebuilds about once per hour, and the GitLab MR should be merged before this change is deployed to production.

It is also worth a check with @darknao first to make sure this change does not accidentally bring extra breakage that would disrupt other Fedora Docs sites from publishing.

Build succeeded.
https://fedora.softwarefactory-project.io/zuul/buildset/15e5c5d5cb344d60a0990add2a1bef1b

• fi-ansible-lint-diff : SUCCESS in 5m 07s
• fi-yamllint-diff : SUCCESS in 3m 32s

Looks good to me.

ok, so where are we here? is this ready to merge?

I just merged the Antora change into the DEI Team docs repo. It should take 1-2 hours for the site to rebuild with the new URL. The redirect could go through once the Antora change is validated, i.e. the link below is working:

https://docs.fedoraproject.org/en-US/dei/

Build succeeded.
https://fedora.softwarefactory-project.io/zuul/buildset/20366010e0ec4ccdacaf2b95daf23e7d

• fi-ansible-lint-diff : SUCCESS in 4m 04s
• fi-yamllint-diff : SUCCESS in 2m 47s

ok, let's merge this then.

Build succeeded.
https://fedora.softwarefactory-project.io/zuul/buildset/b3a2160625f84a0f85e62ff4222d4552

• fi-ansible-lint-diff : SUCCESS in 3m 44s
• fi-yamllint-diff : SUCCESS in 3m 05s