# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1410491745 25200
# Node ID 02ea6f694bb8d8da8f61064e5656a0f2ddb2fda2
# Parent  d5f65d85bfea43c301fbcc65804babb7faaaa9a9
Git config changes.

diff -r d5f65d85bfea -r 02ea6f694bb8 git/gitconfig
--- a/git/gitconfig	Tue Sep 02 16:16:23 2014 -0700
+++ b/git/gitconfig	Thu Sep 11 20:15:45 2014 -0700
@@ -1,3 +1,7 @@
 [user]
-name = ludovicchabant
+name = Ludovic Chabant
 email = ludovic@chabant.com
+
+[push]
+default = simple
+