Skip to content

Prepare pre-commit for running with pre-commit CI#26

Merged
samueljsb merged 2 commits intomainfrom
pre-commit-ci
Sep 17, 2025
Merged

Prepare pre-commit for running with pre-commit CI#26
samueljsb merged 2 commits intomainfrom
pre-commit-ci

Conversation

@samueljsb
Copy link
Collaborator

This prepares the repository for integration with pre-commit CI. Once this has merged, we will enable the integration, then remove pre-commit from our GitHub Actions workflow.

This will prevent pre-commit.ci pushing commits to PR branches to
auto-fix linting and formatting.
@samueljsb samueljsb requested a review from a team as a code owner September 17, 2025 13:48
repos:
- repo: https://github.com/pre-commit/pre-commit-hooks
rev: v4.4.0
rev: v6.0.0
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oops! I didn't mean to introduce such an old version!

@samueljsb samueljsb merged commit 0fa473f into main Sep 17, 2025
4 checks passed
@samueljsb samueljsb deleted the pre-commit-ci branch September 17, 2025 13:51
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.

2 participants

Comments