-
How to delete a "git commit" ? - Stack Overflow - les liens du Colibri
Thu 04 Apr 2013 09:33:10 AM CEST - permalink -Toujours utile. Mais risqué lorsque le commit a déjà été pushé et que l'on travaille à plusieurs. Quand 40 personnes commit quotidiennement, il faut forcer son push à 2h du mat' pour éviter la panique :D
-
-
-
http://colibri-libre.org/liens/?Bg6jlA