Re: [PATCH v3 4/7] fetch: add --refetch option

From: Robert Coup <robert@coup.net.nz>
Date: Mar 7, 2022, 11:31 UTC
Message-ID: <CACf-nVfEt8xWgg-d8JmtSD09Mvp=YvshN=cfMQ=304--h5Rjcg@mail.gmail.com>
In-Reply-To: <xmqqa6e51kms.fsf@gitster.g>

Hi Junio,

On Fri, 4 Mar 2022 at 21:19, Junio C Hamano <gitster@pobox.com> wrote:

Show 10 quoted lines

> I guess the existing --unshallow has the same problem, but it strikes
> me odd that these aren't doing a bog-standard OPT_BOOL(), with default
> value of "false", like, say "--update-head-ok" does.
>
> That will naturally support things like
>
>         git fetch --refetch --no-refetch
>
> where a later option overrides what an earlier option did.
>

Ah, I literally copied the unshallow one since it seemed boolean-ish and that's what I wanted. I'll look into it.

Thanks, Rob :)

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