Revert "Remove push option in .gitconfig."

I'd rather use git from wheezy-backports. I force-pushed the master branch at
work because I lose the habit of specifying what branch to push...

This reverts commit ddbe653d9feb4b350d917bf4a8aa71de3cbb1713.
My eyes are not that bad.