mirror of
https://github.com/DavidAnson/markdownlint.git
synced 2026-04-25 09:16:02 +03:00
[GH-ISSUE #605] MD051 option lowerCase #2323
Labels
No labels
bug
enhancement
enhancement
enhancement
fixed in next
fixed in next
fixed in next
new rule
new rule
new rule
pull-request
question
refactoring
refactoring
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/markdownlint#2323
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @nschonni on GitHub (Oct 12, 2022).
Original GitHub issue: https://github.com/DavidAnson/markdownlint/issues/605
Since this has come up in a few separate issues, I thought I'd write down a proposal.
An alternate take to this, would be to have the rule fix the anchor if it matches, but the case doesn't
@nschonni commented on GitHub (Oct 18, 2022):
There may be another way to name the option, like
anyCase, which would still likely just lower it for comparison.@DavidAnson commented on GitHub (Dec 8, 2022):
I don't think it's necessary to add an option here since the rule currently implements the GitHub algorithm which uses lowercase all the time. However, the suggestion to provide a fix for cases where an existing label with different case is present seems good.
@nschonni commented on GitHub (Dec 8, 2022):
If there is no extra option, there may just need to be a separate error message so those folks that ran into the casing issue but see that existing one works, understand the failure better