On Tue, Apr 16, 2013 at 9:48 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > That is a valid point. Nobody has complained that the current > warning is too noisy, so perhaps the patch is good as-is? Ah, hadn't realized that. Probably fine then. -- Cheers, Sverre Rabbelier -- 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