From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 20 Mar 2017 18:01:26 GMT
Subject: Re: [PATCH v2] push: Re-include "push.default=tracking" in the documentation
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:

> 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.