On Thu, Jul 1, 2010 at 23:54, Junio C Hamano <gitster@xxxxxxxxx> wrote: > I don't think this is a good change at all. If we spell "sh" out, people > with defective shell as the default shell on their system at least would > know that they need to substitute that with "ksh" or "bash" or whatever. Sure, consider this patch dropped from the series then. -- 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