Re: [PATCH v2 08/18] maintenance: add prefetch task

From: Derrick Stolee <stolee@gmail.com>
Date: Jul 27, 2020, 14:07 UTC
Message-ID: <421cb856-24fc-6aa0-6ab0-f513d34ddd1a@gmail.com>
In-Reply-To: <xmqqv9icicvd.fsf@gitster.c.googlers.com>

On 7/24/2020 9:48 PM, Junio C Hamano wrote:

Show 15 quoted lines

> Đoàn Trần Công Danh  <congdanhqx@gmail.com> writes:
> 
>>> When running 'git fetch <remote> <options>' in the background, use
>>> the following options for careful updating:
>>
>> Does this job interfere with FETCH_HEAD?
>> From my quick test (by applying 01-08 on top of rc1, and messing with t7900),
>> it looks like yes.
>>
>> I (and some other people, probably) rely on FETCH_HEAD for our scripts.
>> Hence, it would be nice to not touch FETCH_HEAD with prefetch job.
> 
> Very good point.  For that, Derrick may want to swallow the single
> patch from 'jc/no-update-fetch-head' topic into this series and
> pass the new command line option.

Thanks for the pointer! I appreciate the attention to detail here.

I'll rebase onto jc/no-update-fetch-head for the next version, since that branch is based on v2.28.0-rc0, which is recent enough.

Thanks, -Stolee