diff --git a/docs/devs/development.md b/docs/devs/development.md index 74a664055..e64ad2017 100644 --- a/docs/devs/development.md +++ b/docs/devs/development.md @@ -12,6 +12,15 @@ For developers Thanks for contributing :) +Precommit hooks +===== + +This ensures that all commits adhere to the formatting and linting rules. + +```bash +make install-pre-commit-hook +``` + Tests =====