On Wed, May 20, 2015 at 11:01 PM, Jeff King <peff@xxxxxxxx> wrote: > Of course adding a new option probably won't help you, as it will take > some time before it can be used reliably. I think the hack you came up > with is pretty reasonable in the meantime. Right, so I'll keep using that hack, thanks! -- Sebastian Schuberth -- 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