Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Lint for dead links #10013

Closed
mydea opened this issue May 14, 2024 · 1 comment
Closed

Lint for dead links #10013

mydea opened this issue May 14, 2024 · 1 comment
Assignees
@a-hariti
Labels
Type: Platform Issues about the platform & functionality of our docs

Comments

@mydea
Copy link
Member

mydea commented May 14, 2024

In the "old" docs, we had a lint step that would fail if a link was used that is dead (e.g. leads to no page). We do not have this anymore in the next-based docs, but it would be very helpful, because otherwise it is easy to accidentally add broken links.
@stephanie-anderson stephanie-anderson added the Type: Platform Issues about the platform & functionality of our docs label May 14, 2024
@a-hariti
Copy link
Collaborator

addressed in #10814 🎊

@github-actions github-actions bot locked and limited conversation to collaborators Aug 11, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@a-hariti a-hariti

Labels
Type: Platform Issues about the platform & functionality of our docs
Projects
Docs Platform
Status: Done
Milestone
No milestone
Development

No branches or pull requests
3 participants
@mydea @stephanie-anderson @a-hariti