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

From: Junio C Hamano <gitster@pobox.com>
Date: Mar 20, 2017, 18:01 UTC
Message-ID: <xmqqfui7x1xl.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <20170319143636.23810-1-avarab@gmail.com>

Ævar Arnfjörð Bjarmason  <avarab@gmail.com> writes:

Show 13 quoted lines

> 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 pull from
>    (i.e. central workflow).
>  
> +* `tracking` - This is a deprecated synonym for `upstream`.
> +
>  * `simple` - in centralized workflow, work like `upstream` with an
>    added safety to refuse to push if the upstream branch's name is
>    different from the local one.

Thanks for following through ;-)  Will queue.