Uh oh!
There was an error while loading.Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork7.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 ourterms of service andprivacy statement. We’ll occasionally send you account related emails.
Already on GitHub?Sign in to your account
Uh oh!
There was an error while loading.Please reload this page.
Conversation
For certain reporters, it's necessary to do this filtering becauseGitHub does not allow posting to unrelated files. The github-checkreporter _should_ allow it though, and we want to catch things likeunused 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 tosuggest 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) |
Uh oh!
There was an error while loading.Please reload this page.
PR Summary
PR Checklist