Re: [PATCH] push: allow --follow-tags' to be set by config push.followTags

From: Junio C Hamano <gitster@pobox.com>
Date: Feb 16, 2015, 00:01 UTC
Message-ID: <CAPc5daXkf3Vc-kGsqQ4zo6qSMrh93GZbXeFK9oLwajyNahmx1Q@mail.gmail.com>
In-Reply-To: <1424043588-15994-1-git-send-email-cxreg@pobox.com>

On Sun, Feb 15, 2015 at 3:39 PM, Dave Olszewski <cxreg@pobox.com> wrote:

Show 13 quoted lines

> Signed-off-by: Dave Olszewski <cxreg@pobox.com>
>
> diff --git a/Documentation/config.txt b/Documentation/config.txt
> index ae6791d..cdb8a99 100644
> --- a/Documentation/config.txt
> +++ b/Documentation/config.txt
> @@ -2079,6 +2079,9 @@ new default).
>
>  --
>
> +push.followTags::
> +       If set to true enable '--follow-tags' option by default.
> +

After setting this in your repository, does "git push --no-follow-tags" let you override it if you want to do so for a single invocation?

If it does, the code is good but it should be documented here; if it does not, it should be corrected and it should be documented here.

Thanks.