Repository navigation

ci: switch from pre-commit to prek - #94

Merged

nstarman merged 8 commits into

mainfrom

Sep 15, 2026

Commits on Sep 15, 2026
- ci: switch from pre-commit to prek
  
  nstarman
  and
  claude
  committed
  c86daf2
- fix(ci): skip no-commit-to-branch in the full-suite CI run
  
  nstarman
  and
  claude
  committed
  2baf8a4
- fix(ci): don't clobber an existing SKIP when skipping no-commit-to-branch
  
  nstarman
  and
  claude
  committed
  be84023
- docs(nox): clarify the no-commit-to-branch skip isn't CI-specific
  
  nstarman
  and
  claude
  committed
  908d5ac
- docs(nox): clarify the precommit session still runs via prek
  
  nstarman
  and
  claude
  committed
  3236fb8
- docs(nox): fix now-inaccurate git-push mention in the SKIP comment
  
  nstarman
  and
  claude
  committed
  0f4e1e9
- docs: disambiguate "never fires on push" from the workflow's own push trigger
  
  nstarman
  and
  claude
  committed
  c8faaa8
- docs: trim verbose inline comments down to the load-bearing WHY
  
  nstarman
  and
  claude
  committed
  40157cf