Use skip ignore comment instead of use ignore comment in run_rules #200
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Summary
Currently, the
run_rules
command does not provide a way for us to ignore ignore comments. The default for the command is to respect them and the override flag provided just does the same. This PR replaces the option with the proper one that means that we are able to opt out if the--skip-ignore-comments
is provided.Test Plan
Setting up the test. Currently, there is a file in the repository that is missing a header file:
Let's add a suppression comment:
Now, let's run the lint again:
There are 0 reports, as expected. Now, let's check to see if the
--skip-ignore-comments
flag works:It does! Previously, there would no way to suppress the ignore comment. Help provided the following:
However, running the command without anything shows that we are respecting ignore comments:
Providing the
--use-ignore-comments
doesn't make sense because we want to ignore/skip them, but let's try anyways: