ci: Fix linting being ignored by reviewdog#18091
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