# HG changeset patch
# User IBBoard <dev@ibboard.co.uk>
# Date 1407005878 0
# Node ID c7241e9025b818ae52efa60393daad65b8a02432
# Parent  1285940a5b3b1f1ce2239bd05006ef3c41764e7c
Remove git push setting because of changes to default behaviour and actual experience with the setting

diff -r 1285940a5b3b -r c7241e9025b8 gitconfig
--- a/gitconfig	Sat Aug 02 18:57:07 2014 +0000
+++ b/gitconfig	Sat Aug 02 18:57:58 2014 +0000
@@ -14,5 +14,3 @@
 	cmd = meld \"\" \"\"
 [difftool]
 	prompt = false
-[push]
-	default = simple