Un collègue a poussé une nouvelle branche distante sur origin/dev/homepage et je ne la vois pas lorsque je l'exécute :
$ git branch -rJe vois toujours des branches distantes préexistantes.
Je suppose que c'est parce que mes références distantes locales ne sont pas à jour, donc lorsque j'ai lancé un git pull, rien ne s'est produit puisque git pull ne tire que sur la branche de travail actuelle, correct ? Contrairement à git push qui pousse toutes les branches qui ont des changements vers la branche distante correspondante ?
