Quand vous travaillez à plusieurs, il est possible que des commits soient présents sur le repository mais pas sur votre historique local. Comme ceci:
Vous devrez pull
les modifications distantes sur votre branche principale.
Comme vous n'avez aucun commit local qui ne trouve pas déjà dans la copie distante,
pull
va juste mettre à jour la branche locale.
Maintenant imaginons que vous avez un commit local non poussé sur la copie distante:
A ce moment, si vous utiliser pull
, git va vous créer un commit supplémentaire
qui fusionne les deux branches.
Vous devrez push
le nouveau commit sur la copie distante pour achever la synchronisation.
La commande correspondante est git pull
(voir documentation).