Merge branch 'jc/maint-push-refspec-default-doc' into maint

* jc/maint-push-refspec-default-doc:
Documentation/git-push: clarify the description of defaults

diff --cc Documentation/git-push.txt
index 13980257eecd3e275641c1ba3262f4d4489f77ff,3b41e72f886d353f11f6e687b24c0b903d66fb54..577d201c006ab6c72acef9bd800aa36f6cc356d3
--- 1/Documentation/git-push.txt
--- 2/Documentation/git-push.txt
+++ b/Documentation/git-push.txt
@@@ -64,12 -71,9 +72,9 @@@ Pushing an empty <src> allows you to de
  the remote repository.
  +
  The special refspec `:` (or `+:` to allow non-fast-forward updates)
 -directs git to push "matching" branches: for every branch that exists on
 +directs Git to push "matching" branches: for every branch that exists on
  the local side, the remote side is updated if a branch of the same name
- already exists on the remote side.  This is the default operation mode
- if no explicit refspec is found (that is neither on the command line
- nor in any Push line of the corresponding remotes file---see below) and
- no `push.default` configuration variable is set.
+ already exists on the remote side.
  
  --all::
        Instead of naming each ref to push, specifies that all