Re: [PATCH v3 11/11] fetch: add a --fetch-prune option and fetch.pruneTags config
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jan 24, 2018, 21:15 UTC
- 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:
Show 13 quoted lines
> 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".