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

Ci/markdown lint #138

Merged
merged 2 commits into from
Jul 3, 2024
Merged

Ci/markdown lint #138

merged 2 commits into from
Jul 3, 2024

Conversation

dylanhitt
Copy link
Collaborator

Closes #121

Let me know if anyone has opinions on the rules.

Thanks

@dylanhitt dylanhitt merged commit 962a8d8 into main Jul 3, 2024
4 of 5 checks passed
@dylanhitt dylanhitt deleted the ci/markdown-lint branch July 3, 2024 22:44
code_blocks: false
tables: false

MD033: false
Copy link
Collaborator

Choose a reason for hiding this comment

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

These disabled rules might sound opinionated, mainly because they come without a comment about what they are about and why they are deactivated.

I know markdown lint, and I'm OK with the rules you chose, but I think comments would help

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Good point, we definitely should add a summary about what they are disabling for each one at the very least.

Feel free to do it if you like, if not I’ll slide into my day Monday

Cheers

Copy link
Collaborator

Choose a reason for hiding this comment

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

I could, but I'm not in your head and the reason why you removed might differ from what I think you removed them 😅

Copy link
Collaborator

Choose a reason for hiding this comment

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

I opened #143

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Awesome thanks, I’ll add you to review Monday.

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.

3 participants