.gitconfig: Remove `push.default`

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

1 files changed, 0 insertions, 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