Remove push option in .gitconfig.

Incompatible with the git version I use on most of my machines.