From 3b83dfe3c733f560fd5fd7e2db606dda0f721c12 Mon Sep 17 00:00:00 2001 From: Pavel Tisnovsky Date: Tue, 10 Jun 2025 14:15:23 +0200 Subject: [PATCH] Info about pre-commit --- CONTRIBUTING.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 3dafb0b4..20452a64 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -95,3 +95,13 @@ make check-types Happy hacking! +## Automation + +### Pre-commit hook settings + +It is possible to run formatters and linters automatically for all commits. You just need +to copy file `hooks/pre-commit` into subdirectory `.git/hooks/`. It must be done manually +because the copied file is an executable script (so from GIT point of view it is unsafe +to enable it automatically). + +