On Thu, Jul 21, 2016 at 6:14 PM, Daniel Bünzli <daniel.buenzli@xxxxxxxxxxxx> wrote: > If you don't want people filling in github issues and submitting pull requests I suggest you explicitely say so after the first github mention. It's not a case of never. PR are fine, but patches still have to go to the list for review first. Issues are fine too, but patches will more likely get some action. The request to publish html docs is a good example for what can/should be an issue. The other issues should be patches IMO. Even if you don't know for sure the right fix, write a patch for what you think is correct or ask on the list. Rob -- To unsubscribe from this list: send the line "unsubscribe devicetree-spec" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
