-
Notifications
You must be signed in to change notification settings - Fork 13.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
Markdownlint: note-box-headings
custom rule
#28372
Open
MaoShizhong
wants to merge
16
commits into
TheOdinProject:main
Choose a base branch
from
MaoShizhong:feature/markdownlint-note-box-heading-level
base: main
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Open
Markdownlint: note-box-headings
custom rule
#28372
MaoShizhong
wants to merge
16
commits into
TheOdinProject:main
from
MaoShizhong:feature/markdownlint-note-box-heading-level
+306
−12
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add to markdownlint config custom rules array
MaoShizhong
added
the
Content: Markdownlint
Involves anything related to the curriculum repo linter
label
Jul 9, 2024
Original propose TOP011 closed
Now made generic for multiple aspects of note box headings
3 different types of note box heading errors now - missing heading - incorrect heading level - incorrect heading start text (type-dependent) Will help make note boxes more accessible (linkable via heading id fragment, and note box type not limited to visual differences and div class).
MaoShizhong
changed the title
Markdownlint:
Markdownlint: Oct 2, 2024
note-box-heading-level
custom rulenote-box-headings
custom rule
Rule converted from heading level to a general note box heading rule. Only the heading level error is practical to fix via a script. |
To follow this new lint rule.
Fix formatting
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
Because
As discussed with staff, for better accessibility, note boxes should have headings which will make them click-linkable. These headings should have a consistent heading level enforced. Accessibility can also be improved by including the note box type as part of the heading (e.g. warning boxes with a heading like "Warning: Insert common pitfall here"), as we're currently only differentiating between types via border colour and small icons.
This PR
Issue
N/A
Additional Information
Pull Request Requirements
location of change: brief description of change
format, e.g.Intro to HTML and CSS lesson: Fix link text
Because
section summarizes the reason for this PRThis PR
section has a bullet point list describing the changes in this PRIssue
section