From b621687ec69c029e53e42b0e8e828edb52f73983 Mon Sep 17 00:00:00 2001
From: tituspijean <tituspijean@outlook.com>
Date: Fri, 19 Mar 2021 13:01:48 +0100
Subject: [PATCH 1/3] Suggest forking for mass-contributors

---
 .../02.write_documentation/write_documentation.md             | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pages/04.contribute/02.write_documentation/write_documentation.md b/pages/04.contribute/02.write_documentation/write_documentation.md
index 41d93351..504dd161 100644
--- a/pages/04.contribute/02.write_documentation/write_documentation.md
+++ b/pages/04.contribute/02.write_documentation/write_documentation.md
@@ -12,9 +12,9 @@ routes:
 
 The YunoHost documentation is managed through a [Git repository](https://github.com/YunoHost/doc).
 
-If you are not familiar with GitHub, there is an "Edit" button at the top of each page that will redirect you to the GitHub online editor that will help you make  change proposals (Pull Requests).
+If you are not familiar with GitHub, there is an "Edit" button at the top of each page that will redirect you to the GitHub online editor that will help you make change proposals (Pull Requests, PR).
 
-Directly on GitHub, you can fork the repository, make your changes, and send pull requests.
+However, if you are on an editing spree, you should fork the repository. You can then make all the commits (changes) you want on your forked repository, and submit them all at once in the same pull requests. GitHub's etiquette would advise you to gather in the same PR all related commits.
 
 Because the online editor doesn't support uploading files, using Git is the prefered way if you need to upload media (e.g. images).
 

From 0f9f85e1da146f1ac36121500eb3de9344f0c1ec Mon Sep 17 00:00:00 2001
From: tituspijean <tituspijean@outlook.com>
Date: Fri, 19 Mar 2021 13:06:42 +0100
Subject: [PATCH 2/3] =?UTF-8?q?Sugg=C3=A9rer=20de=20faire=20des=20forks=20?=
 =?UTF-8?q?pour=20les=20contributeurs=20en=20masse?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .../02.write_documentation/write_documentation.fr.md          | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pages/04.contribute/02.write_documentation/write_documentation.fr.md b/pages/04.contribute/02.write_documentation/write_documentation.fr.md
index 23d66ca9..01b21742 100644
--- a/pages/04.contribute/02.write_documentation/write_documentation.fr.md
+++ b/pages/04.contribute/02.write_documentation/write_documentation.fr.md
@@ -11,9 +11,9 @@ routes:
 
 La documentation de YunoHost est gérée sur un [dépôt Git](https://github.com/YunoHost/doc).
 
-Si vous n'êtes pas familier avec GitHub, il y a un bouton "Éditer" en haut de chaque page qui vous redirigera vers l'éditeur en ligne de GitHub et qui vous aidera à proposer vos modifications (appelées *Pull Requests*).
+Si vous n'êtes pas familier avec GitHub, il y a un bouton "Éditer" en haut de chaque page qui vous redirigera vers l'éditeur en ligne de GitHub et qui vous aidera à proposer vos modifications (appelées *Pull Requests*, PR).
 
-Directement sur GitHub, vous pouvez faire un *fork* du dépôt, y faire vos modifications, et envoyer vos *pull requests*.
+Cependant, si vous êtes lancé sur une série de contributions, vous devriez faire un *fork* du dépôt sur GitHub. Vous pouvez ensuite faire toutes les modifications (*commits*) que vous voulez sur votre dépôt, et les soumettres tous ensemble dans la même PR. L'étiquette sur GitHub vous encouragerait à rassembler dans une même PR tous les *commits* d'une même thématique.
 
 Puisque l'éditeur en ligne ne permet pas d'ajouter des fichiers, utiliser Git par la ligne de commande est la méthode recommandée si vous voulez ajouter des médias (comme des images).
 

From f6da75697abebd2e602f7d9c47c2ddca737e308b Mon Sep 17 00:00:00 2001
From: tituspijean <tituspijean@outlook.com>
Date: Fri, 19 Mar 2021 13:11:01 +0100
Subject: [PATCH 3/3] ...coquille

---
 .../02.write_documentation/write_documentation.fr.md            | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pages/04.contribute/02.write_documentation/write_documentation.fr.md b/pages/04.contribute/02.write_documentation/write_documentation.fr.md
index 01b21742..7249951e 100644
--- a/pages/04.contribute/02.write_documentation/write_documentation.fr.md
+++ b/pages/04.contribute/02.write_documentation/write_documentation.fr.md
@@ -13,7 +13,7 @@ La documentation de YunoHost est gérée sur un [dépôt Git](https://github.com
 
 Si vous n'êtes pas familier avec GitHub, il y a un bouton "Éditer" en haut de chaque page qui vous redirigera vers l'éditeur en ligne de GitHub et qui vous aidera à proposer vos modifications (appelées *Pull Requests*, PR).
 
-Cependant, si vous êtes lancé sur une série de contributions, vous devriez faire un *fork* du dépôt sur GitHub. Vous pouvez ensuite faire toutes les modifications (*commits*) que vous voulez sur votre dépôt, et les soumettres tous ensemble dans la même PR. L'étiquette sur GitHub vous encouragerait à rassembler dans une même PR tous les *commits* d'une même thématique.
+Cependant, si vous êtes lancé sur une série de contributions, vous devriez faire un *fork* du dépôt sur GitHub. Vous pouvez ensuite faire toutes les modifications (*commits*) que vous voulez sur votre dépôt, et les soumettre tous ensemble dans la même PR. L'étiquette sur GitHub vous encouragerait à rassembler dans une même PR tous les *commits* d'une même thématique.
 
 Puisque l'éditeur en ligne ne permet pas d'ajouter des fichiers, utiliser Git par la ligne de commande est la méthode recommandée si vous voulez ajouter des médias (comme des images).