Contenu du cours
Fondamentaux de GitHub
Fondamentaux de GitHub
Récupération des Modifications
En réalité, récupérer puis immédiatement fusionner les modifications est un scénario extrêmement courant. C'est pourquoi Git propose une commande unique, git pull
, qui combine ces deux opérations et intègre les modifications dans la branche courante.
Tirons les modifications distantes effectuées par John dans notre dépôt local :
Comme vous pouvez le constater, la sortie de cette commande est essentiellement une combinaison des sorties des commandes git fetch
et git merge
.
Dans le cas où il y aurait également des modifications sur la branche distante main
qui n'ont pas été fusionnées avec john/test
, une fusion en avance rapide serait effectuée dans la branche locale main
(à condition qu'il n'y ait pas de conflits).
Vous pouvez également exécuter la commande git remote show origin
pour vérifier qu'il existe bien une branche distante john/test
, mais que notre dépôt local ne possède pas la branche locale correspondante.
Créons une branche locale pour celle-ci en utilisant la commande git checkout
:
Analysons ce qui vient de se passer :
Nous sommes passés sur la branche
john/test
;Git a automatiquement copié le contenu de la branche distante dans la branche locale ;
L’arborescence de travail a été mise à jour pour refléter le contenu de la branche
john/test
.
Nous pouvons facilement vérifier que nous sommes bien sur cette branche et qu’elle est synchronisée avec sa branche distante en consultant le dernier commit :
L’option -n
spécifie le nombre de commits à afficher. Dans cet exemple, -n 1
indique à Git d’afficher uniquement le commit le plus récent.
Merci pour vos commentaires !