ajout de la suppression du dernier commit

HowtoGit.md

@@ -767,10 +767,18 @@ $ for branch in `git branch -a | grep remotes | grep -v HEAD | grep -v master`;
 $ git remote add gitlab gitlab@gitlab.example.com:group/repo.git && git push gitlab --all && git remote remove origin && git remote rename gitlab origin && git push --set-upstream origin master
 ~~~
 
-# Avoir des stats basiques
+### Avoir des stats basiques
 
 Il existe la commande shortlog pour avoir quelques stats sur un dépôt git
 
 ~~~
-git shortlog -sne
+$ git shortlog -sne
+~~~
+
+### Supprimer le dernier commit
+
+À faire avec précaution bien sûr :
+
+~~~
+$ git reset --hard HEAD^
 ~~~