Skip to content

Replace pre-commit with prek#5142

Merged
harshil21 merged 11 commits intomasterfrom
prek
Mar 8, 2026
Merged

Replace pre-commit with prek#5142
harshil21 merged 11 commits intomasterfrom
prek

Conversation

@harshil21
Copy link
Member

Closes #5138

I'll remove the pre-commit.ci bot from the repository after this PR is merged.

@harshil21 harshil21 added the ⚙️ ci-cd affected functionality: ci-cd label Feb 19, 2026
Copy link
Member

@aelkheir aelkheir left a comment

Choose a reason for hiding this comment

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

Just missing some updates to CONTRIBUTING.rst, pre-commit is mentioned a few times there.

@harshil21 harshil21 requested a review from aelkheir March 7, 2026 23:29
@harshil21 harshil21 merged commit cd01573 into master Mar 8, 2026
24 of 29 checks passed
@harshil21 harshil21 deleted the prek branch March 8, 2026 00:52
@github-actions github-actions bot locked and limited conversation to collaborators Mar 15, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

⚙️ ci-cd affected functionality: ci-cd

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Switch to using prek instead of pre-commit

3 participants