**Describe the enhancement or feature you'd like** Currently we don't mention [pre-commit](https://pre-commit.com) anywhere in the dev guide. If we explain how to set it up, this could save unnecessary CI churn. - PR: #1306