aboutsummaryrefslogtreecommitdiff
path: root/docs/fr/developers/02_Github.md
diff options
context:
space:
mode:
authorGravatar Marien Fressinaud <dev@marienfressinaud.fr> 2019-12-15 14:08:49 +0100
committerGravatar Alexandre Alapetite <alexandre@alapetite.fr> 2019-12-15 14:08:49 +0100
commit82851d2039f619f1b2558e06b04a9e47fceeea54 (patch)
treeab3142289e260111c686e740b9f4214453a0a84c /docs/fr/developers/02_Github.md
parent0765840d9d0998bd09a2cf7c4fe97785c791fc9b (diff)
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
Diffstat (limited to 'docs/fr/developers/02_Github.md')
-rw-r--r--docs/fr/developers/02_Github.md7
1 files changed, 3 insertions, 4 deletions
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