Fetching changes from a remote repositoryChecking out remote branches

La seule différence de origin/master est que l'on ne peut la check out.

// sur la branche cible
git merge <source>

→ Toujours faire un fetch avant de merger !

git pull

pull = fetch + merge (c'est un raccourci).