-
-
Notifications
You must be signed in to change notification settings - Fork 7.9k
ci: Fix linting being ignored by reviewdog #18091
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
Conversation
For certain reporters, it's necessary to do this filtering because GitHub does not allow posting to unrelated files. The github-check reporter _should_ allow it though, and we want to catch things like unused imports that may not be in the diff.
I'm not entirely sure why it didn't complain in #17822, but I've disabled the filter entirely. For certain reporters, errors outside the diff would be a problem, but this does work with the one we are using. And we want to catch things that might be outside the diff, like imports no longer being used. |
Owee, I'm MrMeeseeks, Look at me. There seem to be a conflict, please backport manually. Here are approximate instructions:
And apply the correct labels and milestones. Congratulation you did some good work ! Hopefully your backport PR will be tested by the continuous integration and merged soon! If these instruction are inaccurate, feel free to suggest an improvement. |
I'm 50/50 on backporting the linting config to 3.3.x. |
Since we never merge from 3.3.x to master, it might not be worth it. The branch has a life of what, 6-12 months? |
We do merge up; I plan to do so after 3.3.1, as it fixes the |
Ah, ok. Then yes (as you've done) |
PR Summary
PR Checklist