On Thu, 14 Dec 2006, Andy Parkins wrote: > > Besides, The fact that revert _adds_ to history is a nice way to > > document that you reverted that change. And you can even explain in the > > commit message, why you did it. > > I'm not disputing that the /operation/ is useful, I'm arguing that it is > incorrectly named. Well, people are used to say they've "reverted" a change. Although the command might appear slightly misnamed wrt its operation, it still does what most people are expecting from such a name. Nicolas - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html