Cmd #5 [Git]

Petit pense-bête pour la suppression du dernier commit local dans Git. A utiliser donc pour le cas où l’on a pas encore effectué un git push.

git reset --soft HEAD~1

L’option soft permet de conserver les modifications apportées aux fichiers que « contenait » le commit. Si on souhaite simplement se débarrasser de l’ensemble, on pourra utiliser l’option hard.

Par ailleurs, si le commit a été poussé vers le serveur et que quelqu’un a déjà effectué un git pull, il faudra passer par un revert:

git revert HEAD