Johannes Schindelin <Johannes.Schindelin <at> gmx.de> writes: > So you want to force this onto all Git users? Not at all. It would be a purely optional. You would never even need to know the feature existed if you didn't want to use it. So I'm not sure how that is forcing it upon anyone. Moreover, I suggested it b/c I would find such a feature very useful, and, by extension, thought others might as well. Perhaps others have done something similar, in which case it would be interesting the hear their take, or on the other hand they've never considered it before, but now can consider the potential utility of just such a feature. > If yes: that murmur you hear in the background, it might well be the > collective "thanks, but no thanks" of people who do not want that type of > distinction between different commits. There is no need to make one. It's purely annotative. T. -- 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
