Github pour les nuls

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

• Présentation de Git / GitHub
• Tutoriel vidéo
• Commandes Git

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 »

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.