-
Notifications
You must be signed in to change notification settings - Fork 13
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
Strictly lint markdown in /docs #2897
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.
Is there any mechanism to actually enforce these going forward, preferably automatically so users aren't manually fixing markdown? I'm fine with auto-formatting in pre-commit or CI but formatting-only PRs introduce noise unless someone knows how to ignore whitespace changes in git
https://github.com/executablebooks/mdformat looks good |
Closing in favor of #2906 |
Description
For folks using common linting tools and linting-related IDE extensions like markdownlint, the existing markdown in our
/docs
subfolder is quite noisy. This PR brings that directory much closer to a strict interpretation of markdown rules, without making any content changes.Suggestion for reviewers: double check that the code blocks with newly added annotations are annotated with the correct language. Obviously, this should be on top of visually inspecting the resulting staging version of the docs site for any weird formatting introduced by these changes.
Type of change
How has this been tested?
Markdown linted successfully.
Post-merge follow-ups