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
Use pre-commit bot #7171
Use pre-commit bot #7171
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yay!
Co-authored-by: Marianne Corvellec <marianne.corvellec@ens-lyon.org>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
So we just need to comment "pre-commit.ci autofix" to our comment and then it goes and does the fix? There is no automated action besides a check that appears in the list of other checks?
In that case 👍
And the bot will provide a report when there is an issue and tell you that you can fix it by adding a "pre-commit.ci autofix" comment. So no need to document it ourselves. |
So is it creating a comment like pep8speaks does? (Sorry for the duplicate comment, bad mobile data connection in Germany) |
If you click on the That pages has been slightly updated, since I did what it said. It previously said to do this That produced this commit: |
That UX seems really cool. 🚀 Thanks for taking the time to answer. :) |
Description
See #7172
The bot is faster than the GH action. It provides the option of autofixing PR linting errors with a comment on the PR. And it also will create PRs to update the pre-commit repos.
Checklist
./doc/examples
for new featuresRelease note
Summarize the introduced changes in the code block below in one or a few sentences. The
summary will be included in the next release notes automatically: