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

Enable removal of outdated reports #241

Closed
dontcallmedom opened this issue Nov 23, 2022 · 0 comments · Fixed by #242
Closed

Enable removal of outdated reports #241

dontcallmedom opened this issue Nov 23, 2022 · 0 comments · Fixed by #242

Comments

@dontcallmedom
Copy link
Member

As noted in a discussion on a false positive report, the script that updates existing reports need to cater for situations where an existing report needs not to be updated but removed because none of its listed anomalies remain open.

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 a pull request may close this issue.

1 participant