From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 20 Dec 2021 15:57:14 GMT
Subject: Re: [PATCH] merge: allow to pretend a merge into detached HEAD is made into a branch
Message-ID: <xmqqwnjzxo9x.fsf@gitster.g>
In-Reply-To: <b52be977-f03c-7915-68c8-f1842e920184@gmail.com>

Derrick Stolee <stolee@gmail.com> writes:

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

Exactly.  Not just 'is fine', but is more correct.  Thanks.