--- sidebar_position: 3 title: "Push & Pull" --- # Push & Pull --- # Push — Envoyer les modifications ## Objectif Envoyer les commits du dépôt local vers le dépôt distant. ## Étapes 1. Utilisez l'une des méthodes suivantes : 1. Cliquez sur : **Git → Push** 2. Ou appuyez sur : **Ctrl + Shift + K** ![Menu Push Git](img/8.png) 2. Vérifiez le dépôt distant et la branche, puis cliquez sur le bouton **Push**. ![Dialogue de Push](img/9.png) 3. Après un push réussi, vous devriez recevoir la notification suivante. ![Notification de Push](img/10.png) --- # Pull — Récupérer les modifications ## Objectif Récupérer les mises à jour du dépôt distant et les fusionner dans le dépôt local. ## Étapes 1. Cliquez sur : **Git → Pull** ![Menu Pull Git](img/11.png) 2. Vérifiez la branche distante puis cliquez sur **Pull**. ![Dialogue de Pull](img/12.png) 3. Après un pull réussi, vous devriez recevoir la notification suivante. ![Notification de Pull](img/13.png)