At Sourcegraph, we're trying to help solve these problems for developers everywhere (https://sourcegraph.com https://sourcegraph.com), both in open source and i

At Sourcegraph, we're trying to help solve these problems for developers everywhere (https://sourcegraph.com https://sourcegraph.com), both in open source and inside companies. GitHub’s commercial success and contributions to the world of development are impressive (and I'm speaking as a GitHub user for 8 years), but they can’t build everything developers need on their own. We’re really pumped about improving dev team collaboration in the GitHub ecosystem by (soon) letting anyone use Sourcegraph.com’s code intelligence (semantic search/browsing), improved pull requests, flexible issue tracking with Emoji reactions instead of +1s (example: https://src.sourcegraph.com/sourcegraph/.tracker/151 https://src.sourcegraph.com/sourcegraph/.tracker/151), etc.—all on their existing GitHub.com repositories. All of Sourcegraph’s source code is public and hackable at https://src.sourcegraph.com/sourcegraph https://src.sourcegraph.com/sourcegraph, so it can grow over time to solve the changing needs of these projects. (It’s licensed as Fair Source (https://fair.io https://fair.io), not closed source like GitHub or open source.) Email me (sqs@sourcegraph.com) if you’re interested in beta-testing this on your GitHub.com repositories.