From bc6119103607299bc8b45a790571507cb7f734e3 Mon Sep 17 00:00:00 2001 From: Lorenzo Torres Date: Sat, 2 Aug 2025 16:28:36 +0200 Subject: [PATCH] Added documentation/CONTRIBUTING --- documentation/CONTRIBUTING | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/documentation/CONTRIBUTING b/documentation/CONTRIBUTING index 1333ed7..4495d6b 100644 --- a/documentation/CONTRIBUTING +++ b/documentation/CONTRIBUTING @@ -1 +1,8 @@ -TODO +Once you got a modification you want to send, create a commit using git and generate a patch file with the following command: + +$ git format-patch -M origin/master + +and when you have the patch file send it to the patch mailing list, possibly using git send-email like this: + +$ git send-email *.patch +