From ca77d9f882c30c08635d38317981f9938e0db03c Mon Sep 17 00:00:00 2001
From: Guillaume DOTT <guillaume.dott@lafourmi-immo.com>
Date: Wed, 7 Nov 2012 11:49:49 +0100
Subject: [PATCH] git: removed push.default incompatible with git 1.7.*

---
 git/gitconfig.include | 2 --
 1 file changed, 2 deletions(-)

diff --git a/git/gitconfig.include b/git/gitconfig.include
index 39e4188..3424d9e 100644
--- a/git/gitconfig.include
+++ b/git/gitconfig.include
@@ -1,5 +1,3 @@
-[push]
-	default = simple
 [alias]
 	st = status
 	lg = log --graph --pretty=format:'%Cred%h%Creset -%C(yellow)%d%Creset %s %Cgreen(%cr) %C(bold blue)<%an>%Creset' --abbrev-commit --date=relative