👴 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.