Skip to content

Update gersemi pre-commit hook to new repository#81

Merged
ednolan merged 1 commit intomainfrom
fix/gersemi-pre-commit-repo
Apr 19, 2026
Merged

Update gersemi pre-commit hook to new repository#81
ednolan merged 1 commit intomainfrom
fix/gersemi-pre-commit-repo

Conversation

@ednolan
Copy link
Copy Markdown
Member

@ednolan ednolan commented Apr 19, 2026

The gersemi project moved its pre-commit hook definition to a
separate repository (BlankSpruce/gersemi-pre-commit) starting
with v0.27.1, removing .pre-commit-hooks.yaml from the main repo.
This broke the weekly pre-commit autoupdate CI workflow.

See: BlankSpruce/gersemi@e647b52

Co-Authored-By: Claude Opus 4.6 (1M context) noreply@anthropic.com

The gersemi project moved its pre-commit hook definition to a
separate repository (BlankSpruce/gersemi-pre-commit) starting
with v0.27.1, removing .pre-commit-hooks.yaml from the main repo.
This broke the weekly pre-commit autoupdate CI workflow.

See: BlankSpruce/gersemi@e647b52

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@coveralls
Copy link
Copy Markdown

Coverage Status

coverage: 94.212%. remained the same — fix/gersemi-pre-commit-repo into main

@ednolan ednolan merged commit d3cbcd0 into main Apr 19, 2026
36 checks passed
@ednolan ednolan deleted the fix/gersemi-pre-commit-repo branch April 19, 2026 21:24
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