Re: [PATCH v2] push: Re-include "push.default=tracking" in the documentation

2017-03-20 Thread Junio C Hamano
Ævar Arnfjörð Bjarmason writes: > diff --git a/Documentation/config.txt b/Documentation/config.txt > index eccc012672..988659e16c 100644 > --- a/Documentation/config.txt > +++ b/Documentation/config.txt > @@ -2459,6 +2459,8 @@ push.default:: >pushing to the same repository you would normally

[PATCH v2] push: Re-include "push.default=tracking" in the documentation

2017-03-19 Thread Ævar Arnfjörð Bjarmason
Change the documentation for push.tracking=* to re-include a mention of what "tracking" does. The "tracking" option was renamed to "upstream" back in 53c4031 ("push.default: Rename 'tracking' to 'upstream'", 2011-02-16), this section was then subsequently rewritten in 87a70e4 ("config doc: rewrite