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.

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

Update markdownlint rules #512

Merged
merged 1 commit into from
Dec 4, 2023
Merged

Conversation

mbohal
Copy link
Contributor

@mbohal mbohal commented Nov 29, 2023

  • rules were sorted
  • MD013 is used instead of line-length because we use codes everywhere else
  • MD024 was titghtened to allow duplicate headings only under different parents

@bedrich-schindler
Copy link
Contributor

@mbohal You have a typo in the commit message.

@mbohal mbohal force-pushed the maintanance/update-markdown-style branch from 0592718 to c35cf13 Compare November 30, 2023 07:49
@mbohal
Copy link
Contributor Author

mbohal commented Nov 30, 2023

I fixed both typos in the commit message and I also rebased this PR on top of master.

Copy link
Member

@adamkudrna adamkudrna left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! 👍🏻

@adamkudrna adamkudrna changed the title Udate markdonwlint rules Update markdownlint rules Dec 4, 2023
@adamkudrna adamkudrna force-pushed the maintanance/update-markdown-style branch from c35cf13 to 5838b89 Compare December 4, 2023 16:14
@adamkudrna adamkudrna merged commit b612e81 into master Dec 4, 2023
11 checks passed
@adamkudrna adamkudrna deleted the maintanance/update-markdown-style branch December 4, 2023 16:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

3 participants