diff --git a/README.md b/README.md index a555db544ad62ac1ea83392269b70b77fb0025f5..f2ad535387e9e8a0a3cb82584b20797cf2f15c72 100644 --- a/README.md +++ b/README.md @@ -323,5 +323,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 +```