Jeff King wrote:
> On Fri, Apr 25, 2014 at 01:57:59PM -0500, Felipe Contreras wrote:
> > > 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
But you *always* resist any change, so of course you wouldn't agree on change.
And that's why nothing ever changes.
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