Jeff King wrote: > It's not that it's not potentially useful. It's that it may be > surprising and annoying to users who did not want that. Besides, I'm not able to imagine one scenario where this is the wrong or annoying thing to do. Can you provide an example? -- 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