From: Derrick Stolee <stolee@gmail.com>
Date: Mon, 20 Dec 2021 15:36:28 GMT
Subject: Re: [PATCH] merge: allow to pretend a merge into detached HEAD is made into a branch
Message-ID: <b52be977-f03c-7915-68c8-f1842e920184@gmail.com>
In-Reply-To: <211218.86sfuqw6ii.gmgdl@evledraar.gmail.com>

On 12/18/2021 5:27 AM, Ævar Arnfjörð Bjarmason wrote:
> 
> On Fri, Dec 17 2021, Junio C Hamano wrote:
> 
>> +		OPT_STRING(0, "detached", &detached_head_name, N_("name"),
>> +			   N_("use <name> instead of detached HEAD")),
>> [...]
>> +	OPT_STRING(0, "detached", &detached_head_name, N_("name"),
>> +		   N_("use <name> instead of detached HEAD")),
> 
> Maybe OPT_STRING_F and PARSE_OPT_NONEG, or does --no-detached make
> sense?

While sometimes undocumented, these "--no-" options allows calling an
alias that might have the positive version included while disabling the
option.

	git alias merge-main merge <lots-of-custom-things> --detached-head-name=main
	git merge-main --no-detached-head-name

So, I think using the standard OPT_STRING here is fine.

Thanks,
-Stolee