Home
Posts
Git
Jul 22, 2017
2017
Git : nettoyer les branches locales déjà mergées et supprimées sur le serveur distant
Jul 22, 2017
Git : supprimer un fichier sensible d’un dépôt
Dec 19, 2015
2015
Git : annuler le dernier commit amend
Sep 20, 2015
Git : appliquer une stratégie de merge différente
Aug 31, 2015
Git : prompt bash
Apr 27, 2015
Git : ajouter un second serveur origin pour les push
Jan 15, 2015
Git : intégration d’un dépôt externe par subtree
Mar 18, 2012
2012
Git : gestion des branches
Mar 18, 2012
Git : corriger le commentaire d’un commit
Apr 15, 2009
2009
Git : package binaire pour Mac OS X