On Fri, Apr 25, 2014 at 01:57:59PM -0500, Felipe Contreras wrote:

quoted

Maybe I was not clear in my response, so let me try again. I do _not_
necessarily agree that we need to move away from the name index.

So you agree that "the index" is a bad name, and you agree "staging area" is a
better name, yet you don't agree we should move away from the term "index"?

I don't agree that "the index" is a "bad" name, because that implies
some objective level of "bad".

I do think the name "staging area" is fine, and I think it may even be
better than "index", if we were picking a name out of the blue.

I am undecided on whether we should move away from the term "index". The
way you have phrased it seems like you are trying to create a logical
contradiction: A is bad, B is good, therefore we should move from A to
B. But that neglects the cost of moving.

Frankly, I am not that interested in discussing it with you. I _am_
interested in you not using my name to claim that I believe things I do
not.

-Peff