chore(docs): remove redirect to landing page & set latest alias to main #998
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
🗒️ Description
This PR makes two changes with regards to (unrelated) redirects:
This was introduced to feat(docs): reorganize top-level menus in online docs #929 with the aim of reducing the amount of headers within the top-level menu bar. The redirect is ugly though and is poor nav ux. As a solution this PR removes it and simply adds a dedicated top-level "Home" entry where this landing page lives.
.github/workflows/docs_tags.yaml
). E.g., the default version of the docs will no longer redirect tovX.Y.Z
, e.g., this will not happen:This also required this one-time mike command to update the
latest
alias to point tomain
🔗 Related Issues
#929
✅ Checklist
mkdocs serve
locally and verified the auto-generated docs for new tests in the Test Case Reference are correctly formatted.