Skip to content

chore: improve markdown lint#318

Merged
lidel merged 1 commit intomainfrom
chore/markdown-lint
Sep 30, 2022
Merged

chore: improve markdown lint#318
lidel merged 1 commit intomainfrom
chore/markdown-lint

Conversation

@lidel
Copy link
Copy Markdown
Member

@lidel lidel commented Sep 5, 2022

small quality of life improvements

@lidel lidel force-pushed the chore/markdown-lint branch from fce1ebd to 47cd309 Compare September 5, 2022 10:44
@lidel lidel self-assigned this Sep 5, 2022
@lidel lidel changed the title chore: add markdownlint-problem-matcher chore: improve markdown lint Sep 5, 2022
@lidel lidel force-pushed the chore/markdown-lint branch from 47cd309 to de328c7 Compare September 30, 2022 21:20
- adds file which allows us to disable some annoying rules
@lidel lidel force-pushed the chore/markdown-lint branch from de328c7 to 516e059 Compare September 30, 2022 21:47
@lidel lidel marked this pull request as ready for review September 30, 2022 21:52
@lidel lidel merged commit ec4c158 into main Sep 30, 2022
@lidel lidel deleted the chore/markdown-lint branch September 30, 2022 21:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant