Add integration for GitHub so that developers can easily create PRs, see the CI status, and so on.
Add integration for GitHub so that developers can easily create PRs, see the CI status, and so on.