From: Martin von Zweigbergk <martinvonz@gmail.com>
Date: Wed, 09 Jan 2013 19:38:59 GMT
Subject: Re: [PATCH 16/19] reset [--mixed] --quiet: don't refresh index
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.)