Skip to content

Move linters to pre-commit#298

Merged
christophfroehlich merged 9 commits intomainfrom
rm/linters
Dec 22, 2025
Merged

Move linters to pre-commit#298
christophfroehlich merged 9 commits intomainfrom
rm/linters

Commits

Commits on Dec 6, 2025

Commits on Dec 22, 2025