Skip to content

Conversation

GavinZZ
Copy link
Contributor

@GavinZZ GavinZZ commented Oct 19, 2022

Issue #, if available

Description of changes

Everything time running make pr, pylint is giving warnings with unrecognized options. Removing these options.

Description of how you validated changes

Make lint still works.

@github-actions github-actions bot added pr/external stage/needs-triage Automatically applied to new issues and PRs, indicating they haven't been looked at. labels Oct 19, 2022
@GavinZZ GavinZZ merged commit e2875a8 into develop Oct 25, 2022
@aahung aahung deleted the remove-pylint-options branch November 17, 2022 21:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

stage/needs-triage Automatically applied to new issues and PRs, indicating they haven't been looked at.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants