patchDocumentation: push.default applies to all remotes

> push.default is not only for the current remote but setting the default
> behavior for all remotes.
>
> Signed-off-by: Santi Béjar <santi@agolina.net>
> ---
> Hi,
>
>   this applies on top of next.
>
>  Documentation/config.txt |   11 +++--------
>  1 files changed, 3 insertions(+), 8 deletions(-)
>
> diff --git a/Documentation/config.txt b/Documentation/config.txt
> index 089569a..7f5fe43 100644
> --- a/Documentation/config.txt
> +++ b/Documentation/config.txt
> @@ -1215,19 +1215,14 @@ push.default::
>  	Defines the action git push should take if no refspec is given
>  	on the command line, no refspec is configured in the remote, and
>  	no refspec is implied by any of the options given on the command
> -	line.
> -+
> -The term `current remote` means the remote configured for the current
> -branch, or `origin` if no remote is configured. `origin` is also used
> -if you are not on any branch. Possible values are:
> +	line. Possible values are:
>  +
>  * `nothing` do not push anything.
> -* `matching` push all matching branches to the current remote.
> +* `matching` push all matching branches.
>    All branches having the same name in both ends are considered to be
>    matching. This is the current default value.
>  * `tracking` push the current branch to the branch it is tracking.
> -* `current` push the current branch to a branch of the same name on the
> -  current remote.
> +* `current` push the current branch to a branch of the same name.
>  
>  rebase.stat::
>  	Whether to show a diffstat of what changed upstream since the last

> Santi Béjar <santi@agolina.net> writes:
> 
> > push.default is not only for the current remote but setting the default
> > behavior for all remotes.
> >
> > Signed-off-by: Santi Béjar <santi@agolina.net>
> > ---
> > Hi,
> >
> >   this applies on top of next.
> >
> >  Documentation/config.txt |   11 +++--------
> >  1 files changed, 3 insertions(+), 8 deletions(-)
> >
> > diff --git a/Documentation/config.txt b/Documentation/config.txt
> > index 089569a..7f5fe43 100644
> > --- a/Documentation/config.txt
> > +++ b/Documentation/config.txt
> > @@ -1215,19 +1215,14 @@ push.default::
> >  	Defines the action git push should take if no refspec is given
> >  	on the command line, no refspec is configured in the remote, and
> >  	no refspec is implied by any of the options given on the command
> > -	line.
> > -+
> > -The term `current remote` means the remote configured for the current
> > -branch, or `origin` if no remote is configured. `origin` is also used
> > -if you are not on any branch. Possible values are:
> > +	line. Possible values are:
> >  +
> >  * `nothing` do not push anything.
> > -* `matching` push all matching branches to the current remote.
> > +* `matching` push all matching branches.
> >    All branches having the same name in both ends are considered to be
> >    matching. This is the current default value.
> >  * `tracking` push the current branch to the branch it is tracking.
> > -* `current` push the current branch to a branch of the same name on the
> > -  current remote.
> > +* `current` push the current branch to a branch of the same name.
> >  
> >  rebase.stat::
> >  	Whether to show a diffstat of what changed upstream since the last
> [...]
> If we want to explain that a "git push" that does not say where-to decides
> where to push by looking at branch.<name>.remote configuration and falling
> back to origin, push.default is not the place to explain it.  This
> configuration variable is not involved in that decision in any way.