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

From: Junio C Hamano <gitster@pobox.com>
Date: Jul 25, 2020, 01:48 UTC
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:

Show 9 quoted lines

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

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.