Skip to content

Use pre-commit ?#68

Open
saimn wants to merge 2 commits intoMickaelRigault:mainfrom
saimn:pre-commit
Open

Use pre-commit ?#68
saimn wants to merge 2 commits intoMickaelRigault:mainfrom
saimn:pre-commit

Conversation

@saimn
Copy link
Contributor

@saimn saimn commented Dec 2, 2025

Instead of running ruff check manually, pre-commit is a widely used tool to run a set of checks (linter, formatter, etc., https://pre-commit.com/):

pip install pre-commit
pre-commit run -a

The config added here runs some default hooks (preventing to merge with some conflicts, adding big files, removing trailing whitespaces etc.), and ruff and sphinx's linter.
There is also a dedicated CI that can automatically fix PRs and update the config when new versions are available (so replacing the Github action running ruff):
https://pre-commit.ci/

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant