-
Notifications
You must be signed in to change notification settings - Fork 3.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
docs: add missing aliases for moved pages #12580
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ah, it looks like doc-validator
is mean because it doesn't know that those headings are gonna come in from the shared file. I can fix this tomorrow.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think I've already added the alias into this file?
5919ce8
to
25d9319
Compare
Did you just update the branch? I pulled from main, and it didn't have an alias. ¯_(ツ)_/¯ |
25d9319
to
8bcc679
Compare
Co-authored-by: Jack Baldry <[email protected]>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, thanks for fixing :)
Co-authored-by: Jack Baldry <[email protected]> (cherry picked from commit 5e21ffa)
Co-authored-by: Jack Baldry <[email protected]>
What this PR does / why we need it:
I realized that I'd moved/renamed these pages and not included the aliases for redirects.