|
@@ -132,7 +132,7 @@ correspondante sur le serveur), il faut utiliser la commande `git push --delete
|
|
|
|
|
|
Généralement, vouloir supprimer un commit déjà envoyé sur le serveur est une
|
|
|
mauvaise idée. En effet, en plus de perdre les données sauvegardées, cela peut
|
|
|
-casser les commits d'un collègue qui aurait déjà récupéré et continué les
|
|
|
+casser les commits d'un collaborateur qui aurait déjà récupéré et continué les
|
|
|
commits en question, donc il vaut mieux committer des corrections.
|
|
|
|
|
|
Mais si c'est vraiment ce que vous voulez faire, voici la procédure (pensez
|