From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 24 Jan 2018 21:15:04 GMT
Subject: Re: [PATCH v3 11/11] fetch: add a --fetch-prune option and fetch.pruneTags config
Message-ID: <xmqq4lnbc61z.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <878tcnklzc.fsf@evledraar.gmail.com>

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

> On Wed, Jan 24 2018, Junio C. Hamano jotted:
>
>> Ævar Arnfjörð Bjarmason  <avarab@gmail.com> writes:
>>
>>>  git -C {} config --replace-all remote.origin.fetch "+refs/tags/*:refs/tags/*" "^\+*refs/tags/\*:refs/tags/\*$"
>>
>> Shouldn't the last arg be
>>
>>  '^+\*refs/tags/\*:refs/tags/\*$'
>>
>> instead?
>
> ^+\* isn't a valid pattern.

Yikes, sorry for the noise.  You did mean "there might be a plus
sign at the beginning, but there may not be".