Skip to content

chore: implement pre-commit with make-target hooks#124

Merged
privateip merged 1 commit intoitential:mainfrom
privateip:chore/pre-commit
Mar 19, 2026
Merged

chore: implement pre-commit with make-target hooks#124
privateip merged 1 commit intoitential:mainfrom
privateip:chore/pre-commit

Conversation

@privateip
Copy link
Member

  • Add pre-commit to dev dependencies in pyproject.toml
  • Rewrite .pre-commit-config.yaml to delegate to make targets (lint, format-check, license, security, typecheck) via language: system
  • Add make hooks target to install pre-commit git hook
  • Replace manual make-ci git hook with pre-commit-managed hook
  • Remove stale Known Issues entry from AGENTS.md
  • Add make hooks to setup instructions in AGENTS.md

- Add pre-commit to dev dependencies in pyproject.toml
- Rewrite .pre-commit-config.yaml to delegate to make targets (lint,
  format-check, license, security, typecheck) via language: system
- Add make hooks target to install pre-commit git hook
- Replace manual make-ci git hook with pre-commit-managed hook
- Remove stale Known Issues entry from AGENTS.md
- Add make hooks to setup instructions in AGENTS.md
@privateip privateip requested a review from a team as a code owner March 19, 2026 19:08
@privateip privateip merged commit 894f2b6 into itential:main Mar 19, 2026
7 checks passed
@privateip privateip deleted the chore/pre-commit branch March 19, 2026 19:09
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.

1 participant