Skip to content

Comments

Restore default behaviour#358

Merged
paddyroddy merged 1 commit intomainfrom
paddyroddy-patch-1
Feb 12, 2026
Merged

Restore default behaviour#358
paddyroddy merged 1 commit intomainfrom
paddyroddy-patch-1

Conversation

@paddyroddy
Copy link
Owner

No idea what happened yesterday

No idea what happened yesterday
@paddyroddy paddyroddy added the prek/pre-commit prek/pre-commit label Feb 12, 2026
@paddyroddy paddyroddy enabled auto-merge (squash) February 12, 2026 10:00
@paddyroddy paddyroddy merged commit d8081a8 into main Feb 12, 2026
4 checks passed
@paddyroddy paddyroddy deleted the paddyroddy-patch-1 branch February 12, 2026 10:01
@github-project-automation github-project-automation bot moved this from TODO to Done in @paddyroddy Feb 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

prek/pre-commit prek/pre-commit

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant