Simplify, unify and document pre_push, CIs and pre-commit hooks to all use consistent tools, versions and config#1784
Merged
LilSpazJoekp merged 4 commits intopraw-dev:masterfrom Sep 17, 2021
Commits
Commits on Sep 17, 2021
- committed
- committed
- committed
- committed