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

3 files changed, 15 insertions, 17 deletions

diff --git a/docs/fr/developers/01_First_steps.md b/docs/fr/developers/01_First_steps.md
index 2efa65991..e7c862ae5 100644
--- a/docs/fr/developers/01_First_steps.md
+++ b/docs/fr/developers/01_First_steps.md
@@ -59,12 +59,12 @@ Si la configuration vous intéresse, les commandes `make' sont définies dans
 le fichier [`Makefile`](/Makefile).
 
 Si vous avez besoin d'utiliser une image Docker identifiée par un tag
-différent (par défaut `dev-alpine`), vous pouvez surcharger de la manière
+différent (par défaut `alpine`), vous pouvez surcharger de la manière
 suivante la variable d'environnement `TAG` au moment de l'exécution de la
 commande :
 
 ```console
-$ TAG=dev-arm make start
+$ TAG=arm make start
 ```
 
 Vous pouvez trouver la liste complète des tags disponibles [sur le hub
@@ -76,12 +76,12 @@ suivante :
 ```console
 $ make build
 $ # ou
-$ TAG=dev-arm make build
+$ TAG=arm make build
 ```
 
 La valeur de la variable `TAG` peut contenir n'importe quelle valeur (par
-exemple `dev-local`). Vous pouvez cibler une architecture spécifique en
-ajoutant `-alpine` ou `-arm` à la fin du tag (par exemple `dev-local-arm`).
+exemple `local`). Vous pouvez cibler une architecture spécifique en ajoutant
+`-alpine` ou `-arm` à la fin du tag (par exemple `local-arm`).
 
 # Architecture du projet
 
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
 
diff --git a/docs/fr/developers/05_Release_new_version.md b/docs/fr/developers/05_Release_new_version.md
index ae80dfa23..face8d5cb 100644
--- a/docs/fr/developers/05_Release_new_version.md
+++ b/docs/fr/developers/05_Release_new_version.md
@@ -14,15 +14,14 @@ le code est stable et ne présente pas de bugs majeurs. Idéalement, il
 faudrait que nos tests soient automatisés et exécutés avant toute
 publication.
 
-Il faut aussi **vous assurer que le fichier CHANGELOG est à jour** dans la
-branche de dev avec les mises à jour de la ou les version(s) à sortir.
+Il faut aussi **vous assurer que le fichier CHANGELOG est à jour** avec les
+mises à jour de la version à sortir.
 
 # Processus Git
 
 ```bash
 $ git checkout master
 $ git pull
-$ git merge --ff dev
 $ vim constants.php
 # Mettre à jour le numéro de version x.y.z de FRESHRSS_VERSION
 $ git commit -a
@@ -44,9 +43,9 @@ Le dépot gérant le code se trouve sur GitHub :
 
 Les scripts se trouvent dans le répertoire `./scripts/` et doivent être de
 la forme `update_to_x.y.z.php`. On trouve aussi dans ce répertoire
-`update_to_dev.php` destiné aux mises à jour de la branche de dev (ce script
-ne doit pas inclure de code spécifique à une version particulière !) et
-`update_util.php` contenant une liste de fonctions utiles à tous les
+`update_to_dev.php` destiné aux mises à jour de la branche `master` (ce
+script ne doit pas inclure de code spécifique à une version particulière !)
+et `update_util.php` contenant une liste de fonctions utiles à tous les
 scripts.
 
 Afin d'écrire un nouveau script, il est préférable de copier / coller celui
@@ -99,7 +98,7 @@ return array(
 Et voici comment fonctionne cette table :
 
 * à gauche se trouve la version N, à droite la version N+1 ;
-* les versions `x.y.z-dev` sont **toutes** mises à jour vers `dev` ;
+* les versions `x.y.z-dev` sont **toutes** mises à jour vers `master` ;
 * les versions stables sont mises à jour vers des versions stables ;
 * il est possible de sauter plusieurs versions d'un coup à condition que les
   scripts de mise à jour le prennent en charge ;
@@ -145,7 +144,7 @@ Lorsque tout fonctionne, il est temps d'annoncer la sortie au monde entier !
 # Lancer la prochaine version de développement
 
 ```bash
-$ git checkout dev
+$ git checkout master
 $ vim constants.php
 # Mettre à jour le numéro de version de FRESHRSS_VERSION
 $ vim CHANGELOG.md