push
github
Update gersemi pre-commit hook to new repository 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: https://github.com/BlankSpruce/gersemi/commit/e647b5238 Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
2475 of 2496 relevant lines covered (99.16%)
24236.29 hits per line