TD gestion de versions

Utilisation de GitHub

créer un compte sur http://github.com

suivre le guide hello-world

installer github desktop et récupérer les fichiers en local

Travail en équipe

former des groupes de 3 et designer un chef

créer un projet GIT (seul le chef le fait)

le chef ajoute 2 fichiers.md (utilisez la syntax markdown par exemple), les commit et les push

le chef ajoute les autres membres de l'équipe dans le projet (settings->collaborators)

le chef configure le projet pour envoyer un mail à chaque push (https://help.github.com/articles/managing-notifications-for-pushes-to-a-repository/)

les autres peuvent récupérer les fichiers du projet et y apporter des modifications.

Dans un premier temps, les autres membres du projet modifient des fichiers différents (mettez vous d'accord, téléphonez vous ou dialoguez via google chat).

Il faut ensuite commiter ces fichiers et les pusher.

Chacun des 3 membres de l'équipe peut ainsi récupérer les modifications faites en parallèle

Situation de conflit

une même ligne d'un même fichier est éditée en parallèle par 2 personnes

modifiez par exemple le titre

commit,p push

essayez de résoudre le conflit

Modèle Fork & Pull

chaque équipe choisit une autre équipe

effectuer un fork du projet de l'autre équipe

apporter des modifications

effectuer un pull request

intégrer les demandes de modifications qui sont faites