From: Aleen 徐沛文 <pwxu@coremail.cn>
Date: Tue, 07 Dec 2021 01:58:36 GMT
Subject: Re: What's cooking in git.git (Nov 2021, #07; Mon, 29)
Message-ID: <1f1d7b66.4a.17d929d357c.Coremail.pwxu@coremail.cn>
In-Reply-To: <xmqqa6hdb3sx.fsf@gitster.g>

> Adding an option that aborts and trashes the state directory is much
> worse than not having a choice other than drop and keep, which is in
> turn a bit worse than having a way to countermand an option that was
> given earlier on the command line.

Another option to countermand an option is only meaningful when it can be
applied as a resume value but not in such a case, I think. "--empty=<option>"
is only kept in each am session, and it seems we can't countermand the option
after the session.