From 7f833081776527889c6008e9f7b27f2eb389580b Mon Sep 17 00:00:00 2001 From: Luis-Hebendanz Date: Sun, 12 Nov 2023 18:31:45 +0100 Subject: [PATCH] Improved Documentation --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index ba0a1ec..ea62991 100644 --- a/README.md +++ b/README.md @@ -122,6 +122,8 @@ Let's set up your Git workflow to collaborate effectively: ```bash merge-after-ci ``` + - If it fails and says something along the lines off `[ERROR] fail-on-change` then the formatter complained. + Execute `nix fmt` from the project root by hand and then make a new git commit. Afterwards redo step 3 and it should work. 4. **Review Your Pull Request**: