From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 04 Feb 2019 21:30:08 GMT
Subject: Re: What's cooking in git.git (Jan 2019, #05; Tue, 29)
Message-ID: <xmqqh8djtf6n.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <20190204211316.GA6085@hank.intra.tgummerer.com>

Thomas Gummerer <t.gummerer@gmail.com> writes:

> There was also some discussion around the naming of the option, but I
> don't have a strong opinion on that, so I'm happy with keeping the
> --[no-]overlay option.  I just wanted to bring it up again here in
> case someone had a very strong opinion, and would prefer it being
> changed before this goes into 2.21.  (Not sure if I'm too late for the
> series going to master).

I do not mind leaving this topic out of 'master' for now, if that
would help migrate people only once instead of twice.  I think the
real UI improvement would come with the new pair of commands split
out of here, "switch-branches" and "restore-files", which will not
happen within the timeframe of the current cycle anyway.

In any case, I think it is probably sensible to revert this step.
Will queue; thanks.