Quelle est la différence entre les commandes git push et git pull, et dans quels cas chacune d'elles est-elle utilisée?

Les commandes git push et git pull servent à synchroniser le référentiel local avec le référentiel distant, mais elles fonctionnent dans des directions opposées :

• git push — envoie vos commits locaux au référentiel distant. Utilisé lorsque vous souhaitez publier vos modifications pour que d'autres puissent les voir et les utiliser.

• git pull — télécharge les modifications du référentiel distant et les fusionne automatiquement avec votre branche actuelle. Utilisé pour mettre à jour le référentiel local avec les dernières modifications des autres développeurs.

Exemple d'utilisation :

git pull origin main  # obtenir les dernières modifications de la branche main
# ... faire des modifications ...
git add .
git commit -m "Ajout d'une nouvelle fonctionnalité"
git push origin main  # envoyer vos modifications à la branche main

Ainsi, git pull aide à synchroniser la copie locale avec la version distante, et git push à partager vos modifications avec l'équipe.