On Wed, Jan 9, 2013 at 11:12 AM, Junio C Hamano <gits...@pobox.com> wrote: > Martin von Zweigbergk <martinv...@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.) -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
