Travail collaboratif avec Git

📥 Clonage d'un dépôt distant

Avant de commencer à travailler, vous devez d'abord cloner le dépôt distant sur votre machine locale :

git clone <URL_du_dépôt>

Cette commande téléchargera le dépôt complet sur votre machine.

🔄 Synchronisation avec un dépôt distant

🚀 Pousser des modifications

Pour envoyer vos modifications vers le dépôt distant :

git push origin nom_de_la_branche

Assurez-vous d'être sur la branche correcte avant de pousser.

📥 Tirer des modifications

Pour obtenir les dernières modifications depuis le dépôt distant :

git pull origin nom_de_la_branche

Cette commande tire et fusionne automatiquement les changements.

👥 Collaboration avec d'autres développeurs

🛠️ Comment travailler ensemble

1. Chacun clone le dépôt central
2. Créez des branches locales pour vos tâches
3. Faites vos modifications et commitez-les
4. Poussez vos branches locales vers le dépôt distant
5. Créez des pull requests pour demander des mises à jour
6. Revoyez et fusionnez les modifications des autres

⚡ Résolution de conflits

Quand plusieurs personnes travaillent sur le même fichier, des conflits peuvent surgir. Voici comment les résoudre :

1. Faites un pull pour obtenir les dernières modifications
2. Identifiez les fichiers en conflit
3. Ouvrez ces fichiers dans votre éditeur
4. Résolvez manuellement les conflits
5. Ajoutez et commitz les fichiers résolus
6. Poussez vos modifications

🧪 Exercice pratique de collaboration

Pour s'entraîner à la collaboration sans dépendre d'un service externe, on peut simuler un dépôt distant avec un dépôt local dit bare (sans répertoire de travail) :

1. Créez un dépôt distant simulé :

   mkdir demo-remote.git && cd demo-remote.git
   git init --bare
   cd ..

2. Clonez-le deux fois, pour simuler deux postes de travail :

   git clone demo-remote.git demo-poste-a
   git clone demo-remote.git demo-poste-b

3. Depuis demo-poste-a, créez un fichier equipe.md contenant # Notes d'équipe, commitez-le puis poussez-le :

   cd demo-poste-a
   echo "# Notes d'équipe" > equipe.md
   git add equipe.md
   git commit -m "Ajout du fichier equipe.md"
   git push origin main

4. Depuis demo-poste-b, récupérez ce commit avec git pull origin main
5. Toujours depuis demo-poste-b, créez une branche feature/notes-b, ajoutez une ligne - Contribution du poste B à la fin de equipe.md, committez et poussez la branche
6. Depuis demo-poste-a, faites git fetch puis fusionnez origin/feature/notes-b dans main avec git merge origin/feature/notes-b
7. Vérifiez avec git log --graph --oneline que l'historique des deux postes est bien synchronisé

🐙 Points clés à retenir

• Le git clone permet de télécharger un dépôt distant
• Les commandes push et pull sont essentielles pour la synchronisation
• Les branches permettent de travailler indépendamment
• Les pull requests facilitent la revue et l'approbation des changements
• La résolution manuelle des conflits est parfois nécessaire

🧪 Bonnes pratiques collaboratives

• Commitez souvent et poussez régulièrement
• Écrivez des messages de commit clairs et détaillés
• Utilisez des branches nommées descriptives
• Laissez des commentaires explicatifs dans votre code
• Testez toujours vos modifications avant de pousser
• Répondez rapidement aux pull requests et demandes de mise à jour

En maîtrisant ces techniques de travail collaboratif, vous serez capable de développer efficacement en équipe, même sur des projets complexes. N'hésitez pas à explorer davantage les fonctionnalités avancées de Git pour optimiser votre flux de travail collaboratif.