Dans un exercice précédent, vous avez dû annuler un commit non-pushé.
Vous pourriez être tenté de changer l'historique distant mais c'est généralement une mauvaise idée
quand vous travaillez avec plusieurs personnes car ça risque d'écraser les modifications
sur leur propre copie.
Donc vous ne devriez pas utiliser reset
dans ce cas mais uniquement revert
.
En effet, ce dernier va rajouter un commit supplémentaire mais ne va pas supprimer les anciens commits.
On va donc passer de
à
Vous pouvez ensuite pusher ces modifications sur l'historique distant: