Sourcegraph CEO here. Unfortunately, GitHub makes this impossible. It's closed source and offers limited ways to integrate—primarily via external, rate-limited

Sourcegraph CEO here. Unfortunately, GitHub makes this impossible. It's closed source and offers limited ways to integrate—primarily via external, rate-limited external API clients on their proprietary platform. It's too bad the most popular code platform is closed. We believe developers deserve to have a hackable, extensible platform for their code, so it can be more deeply integrated with the best other dev tools. That's why we built Sourcegraph and released Sourcegraph's source code. It's also why we're making it easy to build deep integrations into Sourcegraph (see, e.g., https://src.sourcegraph.com/sourcegraph@master/.tree/platform/apps https://src.sourcegraph.com/sourcegraph@master/.tree/platfor...).