Git

2017

Git : nettoyer les branches locales déjà mergées et supprimées sur le serveur distant
Git : supprimer un fichier sensible d’un dépôt

2015

Git : annuler le dernier commit amend
Git : appliquer une stratégie de merge différente
Git : prompt bash
Git : ajouter un second serveur origin pour les push
Git : intégration d’un dépôt externe par subtree

2012

Git : gestion des branches
Git : corriger le commentaire d’un commit

2009

Git : package binaire pour Mac OS X