Terminale NSI · Chapitre POO
GitHub — Partie 2
Travail collaboratif : commit, push, pull, et résolution des conflits.
1. Rappel : le cycle local
Modifier un fichier → git add → git commit -m "message". Un commit est une photo datée et commentée du projet.
2. Travailler à plusieurs : push et pull
Dépôt LOCAL
ton ordinateur
git push →
← git pull
Toujours faire git pull avant de commencer à travailler, et avant de push.
3. Erreurs courantes
Push refusé (rejected) — le dépôt distant a changé depuis votre dernier pull. Solution : git pull, régler un éventuel conflit, puis git push.
Fichier non suivi — oubli de git add. Vérifier avec git status.
Message de commit vague — préférer un message précis à "modif" ou "fix".
4. Les conflits de fusion
Un conflit survient quand deux personnes modifient les mêmes lignes du même fichier. Git insère des marqueurs dans le fichier :
<<<<<<< HEAD (ta version)
self.pv = 100
=======
self.pv = 150
>>>>>>> branche-distante (version reçue par pull)
Résoudre un conflit
- Ouvrir le fichier concerné dans VS Code.
- Choisir la version à garder (ou fusionner les deux).
- Supprimer tous les marqueurs de conflit.
- Enregistrer,
git add, git commit.
git push pour envoyer la version fusionnée.