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

Include a count of ignored rules when no issues are found #122

Merged

Conversation

funnelfiasco
Copy link
Contributor

This helps the user rest comfortably at night, knowing that zizmor found an issue, but correctly ignored it per user request.

This helps the user rest comfortably at night, knowing that zizmor found
an issue, but correctly ignored it per user request.

Signed-off-by: Ben Cotton <ben@kusari.dev>
@funnelfiasco funnelfiasco force-pushed the pr116-report_ignored_when_zero branch from 37ae2e0 to 0503306 Compare November 4, 2024 20:19
Copy link
Owner

@woodruffw woodruffw left a comment

Choose a reason for hiding this comment

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

Thanks!

@woodruffw woodruffw merged commit a2ddecd into woodruffw:ww/config Nov 4, 2024
2 checks passed
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