improve documentation

Fix multiple typos in the internal documentation

Improve visual aspect and redaction

docs/dev/git-conventions.md

@@ -15,10 +15,10 @@ The summary gives an overview of the rules described below. Reading it will help
 
 ## Naming commits
 
-Every commit must follow [conventional commit specification v1.0.0].
+Every commit must comply with [conventional commit specification v1.0.0].
 
-The commit name hase to be meaningful in the context of commit history reread. It should not make reference to a specific MR or discussion.
-Among other, commit history is used in changlogs and to follow the project progress, that's why it has to be self-explanatory.
+The commit name has to be meaningful in the context of commit history reread. It should not make reference to a specific MR or discussion.
+Among other, commit history is used in changlogs and to track the project progress, that's why it has to be self-explanatory.
 If you have a new need, please contact the main developers to add a type together.
 
 ## Update strategy
@@ -28,18 +28,13 @@ We only use **rebases**, *merges* are strictly fordbidden !
 Every time the `master` branch is updated, you must rebase each of your working branch on it. For each of them:
 
 1. Go on your branch
-2. Run a rebase on master:
+1. Rebase on master with `git rebase master`
+1. If you see conflicts, fix them by editing the sources. Once it is done, you must:
+   1. commit the files that were in conflict
+   1. continue the rebase with `git rebase --continue`
+1. Keep doing until you don't have any more conflict after `git rebase --continue`.
 
-    git rebase master
-
-3. If you see conflicts, fix them by editing the sources. Once it is done, you must:
-   a. commit the files that were in conflict
-   b. continue the rebase with `git rebase --continue`
-   c. Do 3. again for each commit that will be in conflict.
-
-4. When you don't have any conflict anymore after `git rebase --continue`, then the rebase succeeded. Then rebase a remaning branch.
-
-To prevent accidental merge commits, we recommend that force the `--ff-only` option on the merge command:
+To prevent accidental merge commits, we recommend to force the `--ff-only` option on the merge command:
 
     git config --global merge.ff only
 
@@ -58,20 +53,24 @@ any problem with your material.
 
 After complying with the above criteria in your commits, you should check that your branch is up to date with the target branch (`master` in this example). As this branch is moving forward frequently, it is possible that new commits may have occurred while you were working on your branch (named YOUR_BRANCH, here). If this is the case or in case of doubt, to update your branch with respect to `master`, do the following:
 
-  git checkout master          # switch to master branch
-  git pull                  # updates the remote branch based on remote
-  git checkout YOU_BRANCH   # switch back to your branch
-  git rebase master            # rebase you work on master branch
+```bash
+git checkout master       # switch to master branch
+git pull                  # updates the remote branch based on remote
+git checkout YOU_BRANCH   # switch back to your branch
+git rebase master         # rebase you work on master branch
+```
 
 In case of conflict during rebase that you can not solve, contact a lead developer telling them the hash of the commit on which YOUR_BRANCH is currently based so they can reproduce the rebase and see the conflicts. While waiting for their answer, you can cancel the rebase and work on YOUR_BRANCH without updating:
 
-  git rebase --abort
+```
+git rebase --abort
+```
 
 It is better to take your time before integrating a new contribution because the history of the master branch cannot be modified: it is a protected branch. Each commit on this branch remains there *ad vitam aeternam* that is why we make sure to keep a clear and understandable commit history.
 
 ## Discussion in a merge request
 
-On Gitlab, a discussion is opened for each merge request. It will allow you to discuss the changes you have made. Feel free to identify someone by writing @pseudo so that they are notified of your request. Don't be impatient, the review of your contribution may take more or less time depending on its content!
+On Gitlab, a discussion is opened for each merge request. It will allow you to discuss the changes you have made. Feel free to tag someone by writing @pseudo so that they are notified of your request. Don't be impatient, the review of your contribution may take more or less time depending on its content!
 
 The general discussion is used to comment on the merge request as a whole, for example to tag a developer for a proofreading request. When it comes to discussing a specific change in the code, you should go to the "Changes" tab of the merge request and comment under the code extract involved. This makes it easier to break down the resolution of problems raised by the merge request via the "comment resolution" feature. Each segment can be marked as resolved, but only the reviewer is allowed to do so!
 
@@ -81,7 +80,7 @@ When you finished developing, you must compile, run linter and run all tests:
 
     cargo fmt
     cargo clippy
-    cd tests && npm test
+    cd tests && npm test # FIXME
 
 Then commit everything.
 
@@ -93,7 +92,7 @@ If you have a pile of commits, use the useful interactive rebase to clean up you
 
 There you can rename the `wip:` commits, you can "fixup" commits that go together, you can rename and re-order commits,...
 
-After an interactive rebase, your local git history is different that yours in Gitlab, so you need a force push to make it to Gitlab:
+After an interactive rebase, your local git history differs from Gitlab's version, so you need a force push to make it to Gitlab:
 
     git push -f