|
@@ -103,6 +103,9 @@ faut pas oublier de fusionner dans la branche master sur le dépôt upstream.
|
|
|
## Mettre à jour un dépôt forké
|
|
|
|
|
|
Après un fork, les deux dépôts (fork et upstream) peuvent évoluer indépendamment.
|
|
|
+Pour récupérer les modifications du dépôt initial dans le dépôt forké, on
|
|
|
+l'ajoute comme "remote" (sous le nom "upstream") puis on peut récupérer les
|
|
|
+évolutions de upstream (fetch) et les fusionner dans le dépôt forké (merge).
|
|
|
|
|
|
```
|
|
|
git remote add upstream https://gogs.univ-littoral.fr/jdehos/tutoriel_git
|
|
@@ -112,13 +115,26 @@ git merge upstream/master
|
|
|
|
|
|
## Gérer manuellement un pull request
|
|
|
|
|
|
+Pour gérer un pull request manuellement, il suffit, dans le dépôt principal,
|
|
|
+d'ajouter le dépôt forké comme remote puis de synchroniser avec fetch et merge.
|
|
|
+L'avantage de cette méthode est que l'on peut fusionner dans une branche
|
|
|
+différente que celle du pull request.
|
|
|
+
|
|
|
+```
|
|
|
+git remote add fork_fabien https://gogs.univ-littoral.fr/fteytaud/tutoriel_git
|
|
|
+git fetch fork_fabien
|
|
|
+git merge fork_fabien/master
|
|
|
+```
|
|
|
+
|
|
|
|
|
|
## Résumé et méthode de travail
|
|
|
|
|
|
Résumé des commandes git précédentes :
|
|
|
|
|
|
---|---|
|
|
|
-`git ` | |
|
|
|
+`git remote add ...` | TODO |
|
|
|
+`git fetch ...` | |
|
|
|
+`git merge ...` | |
|
|
|
|
|
|
Quelques conseils de méthode de travail :
|
|
|
|