From d815a436ffccd612a50a7e599e6cd25a966938bb Mon Sep 17 00:00:00 2001
From: Henrik Lissner <henrik@lissner.net>
Date: Mon, 4 Mar 2013 05:37:16 -0500
Subject: [PATCH] Remove push.default

---
 gitconfig | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/gitconfig b/gitconfig
index 7ca2c131..74e809ea 100644
--- a/gitconfig
+++ b/gitconfig
@@ -1,6 +1,6 @@
 [user]
-    name = Henrik Lissner
-    email = henrik@lissner.net
+	name = Henrik Lissner
+	email = henrik@lissner.net
 
 [alias]
     # common commands
@@ -63,9 +63,6 @@
     # Include summaries of merged commits in newly created merge commit messages
     log = true
 
-[push]
-    default = simple
-
 [url "git@github.com:"]
     insteadOf = "gh:"
     pushInsteadOf = "github:"