👮 Attention Cet article a quelques annĂ©es et n’est peut-ĂȘtre plus Ă  jour !

Nous sommes souvent amenĂ©s Ă  l’UTC Ă  travailler sur de petits projets en groupe. Pour avoir effectuĂ© du dĂ©veloppement en groupe sans gestion de versonning, le travail devient vite compliquĂ© au moment oĂč l’on rĂ©unit les sources. GitHub serait une solution puisqu’il s’agit d’un service hĂ©bergeant Ă  distance les dĂ©pĂŽts centralisĂ©s (sur lesquels peuvent travailler plusieurs ressources).

Quelques tips pour se brancher à un repo déjà existant :

  1. Cliquer sur « Fork Â» sur la page du repo
  2. Lancer la commande « git clone git@github.com:/.git Â»
  3. Dans le dossier du repo, lancer la commande « git remote add upstream git@github.com:/.git Â»
upstream dĂ©signe l’alias de connexion au repo distant, vous auriez pĂ» aussi l’appeler tata, l’essentiel est de se retrouver dans les diffĂ©rents noms. A noter qu’il existe un alias par dĂ©faut appelĂ© « origin Â» qui pointe vers le repo local, crĂ©e au moment du fork ! (c’est sur ce repo que se dirigeront vos futurs commits).

A noter que ces commandes peuvent ĂȘtre exĂ©cutĂ©es s’il s’agit d’un repository privĂ© ! Ensuite pour effectuer ses commits, il suffit d’exĂ©cuter les commandes « git commit -a Â» (pour commiter tous les fichiers modifiĂ©s), puis « git push upstream master Â» pour les envoyer sur le repo de rĂ©fĂ©rence.