Subject: Re: [PATCH v2 0/3] reset: make --no-refresh the only way to skip index refresh

From: Derrick Stolee <[email-masked]>
Date: Fri, 25 Mar 2022 11:04:33 -0400

On 3/24/2022 1:33 PM, Junio C Hamano wrote:
> Junio C Hamano <[email-masked]> writes:
>> #leftoverbit: we may want to discuss if it is a good idea to teach
>> OPT_BOOL() to list "--[no-]<option>" in "git cmd -h", instead of
>> just "--<option>".

Good idea!

> Unfortunately, I merged these already to 'next' before seeing your
> comment, so we'd need to go incremental.
> 
> How about this?

> -		OPT_BOOL(0, "refresh", &refresh,
> +		OPT_BOOL(0, "no-refresh", &no_refresh,
>  				N_("skip refreshing the index after reset")),

I'm pleasantly surprised that this still allows --refresh (in addition to
--no-no-refresh). So, the only meaningful functional change is indeed the
-h output.

Thanks,
-Stolee