Sourcegraph for GitHub

Gives GitHub IDE powers: jump to definition and hover tooltips in code, PRs, and diffs