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

From: Junio C Hamano <gitster@pobox.com>
Date: Jul 24, 2020, 20:47 UTC
Message-ID: <xmqqr1t0k5cz.fsf@gitster.c.googlers.com>
In-Reply-To: <52fc3f5a-281c-a0cb-d897-3866315913a1@gmail.com>

Derrick Stolee <stolee@gmail.com> writes:

Show 7 quoted lines

> I don't anticipate users specifying --task=<task> very often, as
> it requires deep knowledge of the tasks. If a user _does_ use the
> option, then we should trust their order as they might have a
> good reason to choose that order.
>
> Generally, my philosophy is to provide expert users with flexible
> choices while creating sensible defaults for non-expert users.

Sounds sensible.

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