On Fri, Sep 16, 2016 at 10:45:52AM +0200, Jakub Hrozek wrote:
I added the git workflow page from the "Contribute" page.
something odd, please just edit the wiki..
I also added a quick note to show how to allow pull requests from
developers outside the team to run through CI: