From 0823193f6b53693a66c5acd63545c71f532bd5f0 Mon Sep 17 00:00:00 2001
From: Mathias Bynens <mathias@qiwi.be>
Date: Sun, 8 Jun 2014 11:16:57 +0200
Subject: .gitconfig: Remove `push.default`
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This was causing issues on servers that don’t have an up-to-date Git installation. As a workaround, I decided to remove this from `.gitconfig` and add this to `~/.extra` for my laptop only:

    git config --global push.default simple
---
 .gitconfig | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/.gitconfig b/.gitconfig
index 5bbbc3b..3c51620 100644
--- a/.gitconfig
+++ b/.gitconfig
@@ -138,7 +138,3 @@
 [url "git://gist.github.com/"]
 
 	insteadOf = "gist:"
-
-[push]
-
-	default = simple
-- 
cgit v1.2.3