From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 16 Feb 2015 00:01:04 GMT
Subject: Re: [PATCH] push: allow --follow-tags' to be set by config push.followTags
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:
> 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.