On 3/24/2022 1:33 PM, Junio C Hamano wrote: > Junio C Hamano <gitster@xxxxxxxxx> 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