[adrianmalacoda]

Are they locked into github (using their proprietary APIs) or just using it as a git backend (using standard git tooling)? It's not clear from the article.

[stu2b50]

I'm pretty confident they're going to handle PRs via the github interface. I don't think they'd get many contributions if you had to email patches in.