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.
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.
right, tho the github lock-in is probably gonna be the least worse if they mostly rely on git itself (GH issues and PRs can be migrated to other providers or self-hosted a lot more easily than uncoupling yourself from AWS APIs and services).
And kubernetes, and react, and mysql. How to add something apple to the mix?