Jeff King wrote:

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

quoted

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.

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.

A _is_ bad, and B _is_ good. That's what I, and many people, have argued, and
that's what the vast majority of people have agreed.

But that neglects the cost of moving.

And you neglect the benefits of moving.

It is very clear that the costs of moving are negligible in comparison to the
benefits.

But you *always* resist any change, so of course you wouldn't agree on change.
And that's why nothing ever changes.

-- 
Felipe Contreras