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
Anonyme

Auteur/autrice : Victor

Ingénieur en informatique de formation et de métier, j’administre ce serveur et son domaine et privilégie l'utilisation de logiciels libres au quotidien. Je construis progressivement mon "cloud" personnel service après service pour conserver un certain contrôle sur mes données numériques.

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée.