lab 44 “Tirer”
(pull) les changements
Buts
- Apprendre que
git pullest équivalent à ungit fetchsuivi par ungit merge.
Discussion
Nous n’allons pas repasser tout le processus de création d’un autre changement et le récupérer encore, mais nous voulons que vous sachiez que faire:
git pull
est en fait équivalent à ces deux étapes:
git fetch git merge origin/master