J'ai un projet hébergé sur GitHub. J'ai créé une branche sur un ordinateur, puis j'ai poussé mes modifications vers GitHub avec: git push origin branch-name Maintenant, je suis sur un autre ordinateur et je souhaite télécharger cette branche. J'ai donc essayé: git pull origin branch-name ... mais...