Moved default push outside gitconfig.

Older systems are not compatible.