Skip to content
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

linting: change linter to ruff #522

Closed
wants to merge 1 commit into from
Closed

Conversation

gcroci2
Copy link
Collaborator

@gcroci2 gcroci2 commented Nov 8, 2023

Due to the broken change of python extension in vscode, we have to reset linter and formatter used in this project.

Ruff is both a linter and formatter, providing an all-in-one solutions with surprising performance(see here1 and here2). Ruff replaces prospector, and it has also isort functionalities.

⚠️ Note that developers have to reset their dev env by installing ruff and updating vscode extensions.

Inspired by @CunliangGeng

@gcroci2 gcroci2 changed the base branch from main to dev November 8, 2023 08:26
@gcroci2 gcroci2 changed the title linting: change linter to ruff (2) linting: change linter to ruff Nov 8, 2023
Copy link

This PR is stale because it has been open for 14 days with no activity.

@github-actions github-actions bot added the stale issue not touched from too much time label Nov 24, 2023
@gcroci2 gcroci2 linked an issue Jan 3, 2024 that may be closed by this pull request
@DaniBodor
Copy link
Collaborator

replaced by #554

@DaniBodor DaniBodor closed this Jan 16, 2024
@gcroci2 gcroci2 deleted the change_linter2_gcroci2 branch January 16, 2024 16:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
stale issue not touched from too much time
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Change linter to ruff
2 participants