From: Robert Coup <robert@coup.net.nz>
Date: Mon, 07 Mar 2022 11:31:11 GMT
Subject: Re: [PATCH v3 4/7] fetch: add --refetch option
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:
> 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 :)