From 82851d2039f619f1b2558e06b04a9e47fceeea54 Mon Sep 17 00:00:00 2001
From: Marien Fressinaud <dev@marienfressinaud.fr>
Date: Sun, 15 Dec 2019 14:08:49 +0100
Subject: Make master the rolling release branch (#2705)

* Change default TAG in Makefile

We are going to drop the `dev` branch. The Docker tag `dev-*` are based
on this branch and so there will be no longer be generated. We must use
images based on the `master` branch (i.e. `latest`, `alpine` and `arm`).

* Remove references to dev branch in documentation

* Synchronize French documentation
---
 docs/fr/developers/02_Github.md | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'docs/fr/developers/02_Github.md')

diff --git a/docs/fr/developers/02_Github.md b/docs/fr/developers/02_Github.md
index 439c70933..724e56e8a 100644
--- a/docs/fr/developers/02_Github.md
+++ b/docs/fr/developers/02_Github.md
@@ -130,8 +130,8 @@ git remote -v show
 
 Vous pouvez maintenant pull le dernier code de développement :
 ```bash
-git checkout dev
-git pull upstream dev
+git checkout master
+git pull upstream master
 ```
 
 ## Lancer une nouvelle branche de développement
@@ -152,8 +152,7 @@ git show
 git push
 ```
 
-Vous pouvez maintenant créer un PR en fonction de votre branche. S'il vous
-plaît, assurez-vous de le soumettre contre la branche `dev` !
+Vous pouvez maintenant créer une PR en fonction de votre branche.
 
 ## Comment écrire un message de commit
 
-- 
cgit v1.2.3