diff options
| author | 2019-12-15 14:08:49 +0100 | |
|---|---|---|
| committer | 2019-12-15 14:08:49 +0100 | |
| commit | 82851d2039f619f1b2558e06b04a9e47fceeea54 (patch) | |
| tree | ab3142289e260111c686e740b9f4214453a0a84c /docs/fr/developers/02_Github.md | |
| parent | 0765840d9d0998bd09a2cf7c4fe97785c791fc9b (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.md | 7 |
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 |
