From 0cf36e610958416503775ec63978aa827db22431 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 10 Jun 2016 17:35:42 +0100
Subject: [PATCH] gitconfig: push.default=simple does not work with wheezy

---
 dot/gitconfig | 2 --
 1 file changed, 2 deletions(-)

diff --git a/dot/gitconfig b/dot/gitconfig
index 68ad4ff..f037d19 100644
--- a/dot/gitconfig
+++ b/dot/gitconfig
@@ -14,5 +14,3 @@
 [color]
 	diff = false
 	ui = false
-[push]
-	default = simple
-- 
2.30.2