Re: [PATCH 16/19] reset [--mixed] --quiet: don't refresh index
- From
Martin von Zweigbergk <martinvonz@gmail.com>
- Date
- Jan 9, 2013, 19:38 UTC
- Message-ID
- <CANiSa6jm-6Jw1kwx3h=ct302YkuE7yntj6gV8ZDraG9gtX6CZw@mail.gmail.com>
- In-Reply-To
- <7v7gnm6uhm.fsf@alter.siamese.dyndns.org>
On Wed, Jan 9, 2013 at 11:12 AM, Junio C Hamano <gitster@pobox.com> wrote:
> Martin von Zweigbergk <martinvonz@gmail.com> writes: > > And as a Porcelain, I would rather expect it to leave the resulting > index refreshed.
Yeah, I guess you're right. Regular users (those using only porcelain) shouldn't notice, but it does make sense to think that the index would be refreshed after running a porcelain. And the risk of breaking people's scripts seems real too. I'll drop patch this from the re-roll (which I'll also make sure I'll sign off)
(FYI, the reason I wrote this patch was because I was surprised that "git reset" did anything with the worktree at all.)