004.q007.md

createDate	lastUpdateDate	author	keywords
2018-11-19	2019-03-08	marco46	Git, dépôt, remote

FAQ Git pour developpez.com

Les dépôts distants (remotes)

Comment mettre à jour une branche locale avec une branche distante (pull) ?

git checkout <branche>
git pull <remote> <branche>

Où <remote> correspond au nom du dépôt distant (origin par défaut lors d'un clone) et <branche> au nom de la branche.

La commande pull exécute en réalité un fetch suivi d'un merge, au détail cela donnerait :

git checkout master
git fetch origin
git merge origin/master

L'exécution d'une commande pull peut donc nécessiter de résoudre des conflits puisqu'il s'agit d'un merge.