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.

Sign up for GitHub

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

Jump to bottom

How to remove specific entries #13

Closed
MFaisalZaki opened this issue Jan 7, 2023 · 1 comment · Fixed by #28
Closed

How to remove specific entries #13

MFaisalZaki opened this issue Jan 7, 2023 · 1 comment · Fixed by #28
Labels
enhancement New feature or request

Comments

@MFaisalZaki
Copy link

I tried to copy while applying blame-filter, but it didn't work as expected.

I want to ask if it is possible to provide a specific entry with filename and lines to be filtered out.
@balgillo
Copy link
Contributor

balgillo commented Sep 8, 2023

Hi, sorry for the delay spotting the issue that you have raised. Thank you for your interest in sarif-tools!

I checked the copy operation with blame-filter and it worked as I expect, i.e. it filters issues by author information as described in the README. The tool doesn't have a facility for filtering issues by filename or line location. Is that a feature that you want - can you elaborate on your needs?

@balgillo balgillo added the enhancement New feature or request label Sep 11, 2023
@abyss638 abyss638 mentioned this issue Sep 25, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Implemented general filtering (replaces blame filtering) abyss638/sarif-tools
2 participants
@MFaisalZaki @balgillo