Sourcegraph founder here. If you install the Chrome extension (https://chrome.google.com/webstore/detail/sourcegraph-for-github/dgjhfomjieaadpoljlnidmbgkdffpack

Sourcegraph founder here. If you install the Chrome extension (https://chrome.google.com/webstore/detail/sourcegraph-for-github/dgjhfomjieaadpoljlnidmbgkdffpack https://chrome.google.com/webstore/detail/sourcegraph-for-gi...), you can get it on GitHub. Support for GitLab and Bitbucket is coming soon. And what's more, the Chrome extension actually adds # fragment URLs to github.com that are semantically meaningful, just like on Sourcegraph.