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

main throws linting error after recent PR merges #95

Closed
gonX opened this issue Dec 4, 2023 · 0 comments · Fixed by #96
Closed

main throws linting error after recent PR merges #95

gonX opened this issue Dec 4, 2023 · 0 comments · Fixed by #96
Labels
bug Something isn't working meta Dotfiles, Scripts, Github files, Repository management

Comments

@gonX
Copy link
Member

gonX commented Dec 4, 2023

This is caused by #92 being merged (which changed Markdown files) followed by #62 being merged. Running a local lint (markdownlint -f <etc>) can likely fix it, otherwise manual intervention is required.

@gonX gonX added bug Something isn't working meta Dotfiles, Scripts, Github files, Repository management labels Dec 4, 2023
@gonX gonX closed this as completed in #96 Dec 4, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working meta Dotfiles, Scripts, Github files, Repository management
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant