Quelle est la différence entre les commandes git push et git pull, et à quoi sert chacune d'elles?

git push est utilisé pour envoyer des modifications locales (commits) vers un dépôt distant. Il met à jour le dépôt distant en fonction de l'état local. En gros, vous partagez vos progrès.

git pull est utilisé pour récupérer les modifications du dépôt distant et les intégrer dans la branche locale courante. C'est équivalent à exécuter git fetch suivi de git merge. Il synchronise votre dépôt local avec le distant.

La différence réside dans la direction du flux de données : push envoie les modifications du local vers le distant, et pull reçoit les modifications du distant vers le local.

Exemple d'utilisation de git push :

# Envoyer les modifications à la branche main sur origin
git push origin main

Exemple d'utilisation de git pull :

# Récupérer les modifications de la branche main sur origin
git pull origin main