Merge branch 'master' into perso

[config-20-100.git] / .gitconfig

diff --git a/.gitconfig b/.gitconfig
index 82fc5d7724a906639a62ff877f85e6d9ac17f65b..96d880b8362448a175c6bdac1c83eb494201ace4 100644 (file)
--- a/.gitconfig
+++ b/.gitconfig
@@ -23,8 +23,19 @@
        # (difficile de voir ce qui se passe en l'absence de couleurs)
        wdiff = diff --color-words
        wshow = show --color-words
+       svnpull = svn rebase
+       svnpush = svn dcommit
 [help]
        # Quand on écrit mal une commande git, il propose "did you mean ?" avec
        # 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