Skip to content

Remove pylint: disable comments#3390

Merged
janosh merged 1 commit into
masterfrom
del-pylint-comments
Oct 8, 2023
Merged

Remove pylint: disable comments#3390
janosh merged 1 commit into
masterfrom
del-pylint-comments

Conversation

@janosh

@janosh janosh commented Oct 8, 2023

Copy link
Copy Markdown
Member

Since we're no longer using pylint. All handled by ruff now.

@janosh janosh added linting Linting and quality assurance housekeeping Moving around or cleaning up old code/files labels Oct 8, 2023
@janosh janosh enabled auto-merge (squash) October 8, 2023 13:39
@janosh janosh merged commit cf3ae23 into master Oct 8, 2023
@janosh janosh deleted the del-pylint-comments branch October 8, 2023 13:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

housekeeping Moving around or cleaning up old code/files linting Linting and quality assurance

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant