On Thu, 25 Aug 2005, Junio C Hamano wrote:
> This patch is to show my current thinking. Please let me know
> what you think.
I like it. As Linus stated, the index originally had a different role from
what it has now, so it really should be an internal git thing, i.e. the
git user should not expect the index not to change when pulling.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to [EMAIL PROTECTED]
More majordomo info at http://vger.kernel.org/majordomo-info.html