Jeff King <peff@xxxxxxxx> writes: > On Thu, Jun 09, 2016 at 03:48:12PM -0700, Junio C Hamano wrote: > >> As I said, however, I could support a move to add some selected >> small number of common file extensions, as long as we have some >> (social) mechanism to avoid churning this file every time somebody >> new comes and complains their favourite editor or other tools are >> not supported. > > Yeah, I don't mind it either, myself, provided we avoid the churn. > > OTOH, wouldn't somebody who cared about this want it for all of their > projects? I guess I just don't see the point in making this a > git-specific thing. My version was "it is your personal preference, why should we cater to it while we know we cannot do the same for everybody else who has different preference?" Your version is a lot more positive, while leading to the same conclusion. "It is your personal preference. Even if we added it ourselves, it would not help you with other projects". As usual, you are more brilliant than I am here. -- 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