Mon premier TD de git à plusieurs
Un tutoriel sur git à réaliser à deux, pour mieux comprendre les principes de la programmation à plusieurs de manière asynchrone
Cette page explique comment, en partant d’un dépôt Git partagé à plusieurs, réaliser quelques commits de manière indépendante, et se retrouver dans la position de réaliser une fusion (merge).
L’idée générale est de considérer que l’équipe est composée de deux groupes indépendants de programmeurs. Les étapes sont réalisées par chaque groupe une par une, en parallèle. Si un groupe n’a pas d’opération à réaliser, il regarde ce que fait l’autre groupe.
| Programmeur 1 | Programmeur 2 | |
|---|---|---|
| Etape 1 | Cloner le dépôt chacun de son côté : | |
git clone URL
|
git clone URL
|
|
| Etape 2 | Editer le fichier README.md chacun de
son côté, en ajoutant chacun une ligne contenant son nom. L'idée
est que chaque programmeur réalise une modification différente
d'un même fichier. |
|
éditer README.md
|
éditer README.md
|
|
| Etape 3 | Créer le commit associé à cette modification. | |
git commit
|
git commit
|
|
| Etape 4 | Le premier programmeur communique sa modification sur la forge. | |
git push origin master
|
||
| Etape 5 | Le second programmeur communique sa modification sur la forge. La forge est censée rejeter cette modification par un message d'erreur. | |
git push origin master
|
||
| Etape 6 | Fusionner les deux branches. Si les deux modifications ont été faites sur la même ligne cela peut entraîner un conflit qu'il faudra résoudre. | |
git merge origin/master
git push origin master
|
||
Pour référence, la même chose, mais réalisé en Markdown :
| Programmeur 1 | Programmeur 2 |
|---|---|
git clone |
git clone |
edit README.md |
edit README.md |
git commit |
git commit |
git push |
|
git push |