diff --git a/README.md b/README.md index b936af94cc96d6f8bd2a6ff2b86dde8a779ca880..78109e98c592b453bbc7e9dabc15dd73f5c99cb7 100644 --- a/README.md +++ b/README.md @@ -322,5 +322,11 @@ Voici les commandes : git remote add depot_sujet https://gitlab.univ-lille.fr/walter.rudametkin/projet_se3_2021.git git pull depot_sujet master ``` +En cas de conflit, vous devez les gérer manuellement. Si vous voulez annuler une merge, vous pouvez utiliser `git merge --abort` pour revenir à l’état juste avant le `git pull`. En cas d’erreur, n’hésitez pas à consulter la commande `git remote -v` et `git remote remove <dépôt>` qui permettent d’afficher les dépôts distants et supprimer un dépôt distant, respectivement. + +Une fois que vous avez intégré les changements, il faudra les partager sur votre dépôt distant avec +```bash +git push +```