On Tue, Sep 7, 2010 at 05:52, Jonathan Nieder <jrnieder@xxxxxxxxx> wrote: > How about adding it to the man page so people can look up this option > after encountering it in the wild? Much better, thanks. -- 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