Options

Ce matin un lapin, j’ai pris le temps de faire ce que je me promettais depuis des semaines: retirer mes alias bash au profit d’alias git en bonne et due forme.

J’en ai profité pour découvrir d’autres usages de la configuration de git via le fichier .gitconfig ou .git/config tels que les options automatiques lors du push. Mais, il y a un mais: il faut parfois retoucher la configuration à la main pour arriver au résultat désiré.