> On 6 Jan 2017, at 1:37 PM, David Lang <david at lang.hm> wrote: > > LEDE is already accepting pull requests via github Oh I didn't realize that. Now I even see it on the lede webpage. I might have missed that before :-/ Thanks for the heads-up! /daniel