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.
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
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