Skip to content

Reword the github diagnostic summary - #84

Draft
saecki wants to merge 1 commit into
mainfrom
reword-diagnostic-summary
Draft

Reword the github diagnostic summary#84
saecki wants to merge 1 commit into
mainfrom
reword-diagnostic-summary

Conversation

@saecki

@saecki saecki commented Jul 20, 2026

Copy link
Copy Markdown
Member

I think the previous wording contributed to repeated discussions about warnings that should indeed be fixed.
Still open to tweak this new summary though :)

@elegaanz

Copy link
Copy Markdown
Member

To me an error means the package won't work at all, and a warning means it will work but doesn't follow best practices. Warnings exist to encourage package authors to follow these practices, but if they want to submit a low quality package despite the warnings, I think they should be allowed to do so. If you feel like we should be more strict about warnings and force people to fix them unless they really are false positives, we can discuss it a bit more, I'm not strongly opposed to that.

@saecki
saecki marked this pull request as draft August 10, 2026 09:30
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.

2 participants