pre-commit alternative to explicit GitHub Actions for formatting#440
Draft
knoepfel wants to merge 3 commits into
Draft
pre-commit alternative to explicit GitHub Actions for formatting#440knoepfel wants to merge 3 commits into
pre-commit alternative to explicit GitHub Actions for formatting#440knoepfel wants to merge 3 commits into