We have recently activated pre-commit.ci for our repositories, which conveniently updated the pre-commit config. This is the PR that was presented to our fork. Maybe you want to consider the activation of pre-commit.ci. The lint workflow on GitHub Actions can then be removed.
updates:
We have recently activated pre-commit.ci for our repositories, which conveniently updated the pre-commit config. This is the PR that was presented to our fork. Maybe you want to consider the activation of pre-commit.ci. The lint workflow on GitHub Actions can then be removed.