build: point lint tasks at pre-commit - #1369

Merged

inimaz merged 5 commits into

Aug 18, 2026

Commits on Aug 12, 2026

build: point lint tasks at pre-commit

davidberenstein1957
and
claude
committed
5d87114
build: drop the lint alias, it rewrites files

davidberenstein1957
and
claude
committed
5f12ba9

Commits on Aug 16, 2026

build: keep the docs-check-drift task

davidberenstein1957
and
claude
committed
017b9cb
build: drop the duplicate precommit task

davidberenstein1957
and
claude
committed
4299c8a

Commits on Aug 18, 2026

Merge branch 'master' into fix/lint-tasks
inimaz
authored
7a81c92