From: Junio C Hamano <gitster@pobox.com>
Date: Sat, 25 Jul 2020 01:48:06 GMT
Subject: Re: [PATCH v2 08/18] maintenance: add prefetch task
Message-ID: <xmqqv9icicvd.fsf@gitster.c.googlers.com>
In-Reply-To: <20200725013715.GA2436@danh.dev>

Đ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.