gitconfig: changed push.default to be compatible with pre-1.8 versions.