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

Open
mydea opened this issue May 14, 2024 · 0 comments
Open

Lint for dead links #10013

mydea opened this issue May 14, 2024 · 0 comments
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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@a-hariti a-hariti

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

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