Activité - Collaboration & Conflits
Objectifs
Section titled “Objectifs”- Travailler à plusieurs sur un même repo
- Régler des conflits
Collaborateur
Section titled “Collaborateur”- Dans un de vos repo Github, ajouter un collaborateur:
- Donnez lui des droits “Admin”. Ce rôle signifie qu’il peut librement modifier le repo
- Maintenant effectuez chacun des commits + push + pull, pour le moment sur des fichiers différents. Observez les changements.
Conflits
Section titled “Conflits”- Éditez un fichier localement, puis commitez le et déployez le sur Github
- Maintenant, votre collaborateur doit éditer le même fichier sur son répo local, à la même ligne, puis effectuer un commit
- Le collaborateur essaie de push son commit, mais il aura une notification lui disant qu’il a du retard et qu’il doit effectuer un pull
- Après ce pull, Git devrait signifier qu’il y a un conflit, et préciser le fichier qui pose problème
- Éditez le fichier pour régler le conflit
- Puis effectuez un commit et un push. Le conflit est réglé!
Répétez l’opération plusieurs fois pour que chaque collaborateur expérience le conflit. Vous pouvez ajouter plusieurs collaborateurs pour tester tout ça!