# (mieux vaut utiliser l'option --color en invoquant la commande)
[user]
# Nom d'utilisateur et e-mail sous lequel seront enregistrés les commits
- #~# Penser à décommenter ces lignes après les remplacements adéquats
+ #~# Penser à décommenter ces lignes après les remplacements adéquats
#~# name = Prénom Nom
#~# email = nobody@crans.org
[alias]
# plusieurs proposition. Cette option fait que,
# si il n'y a qu'un seul choix, il l'utilise au bout de 0.5 secondes
autocorrect = 5
+[push]
+ # Comportement de "git push" mis par défaut à matching.
+ # matching signifie que 'git push' envoie automatiquement toutes
+ # les branches locales qui ont le même nom sur le dépôt distant
+ # simple signifierait que 'git push' n'enverrait que la branche courante
+ # vers celle qui aurait été récupérée par 'git pull' en vérifiant
+ # qu'elle a le même nom.
+ # (dans git 2.0, le comportement par défaut deviendra simple)
+ default = matching