GitHub integration with Sourcegraph
You can use Sourcegraph with GitHub.com and GitHub Enterprise.
| Feature | Supported? |
|---|---|
| Repository syncing | ✅ |
| Repository permissions | ✅ |
| User authentication | ✅ |
| Browser extension | ✅ |
Repository syncing
Site admins can add GitHub repositories to Sourcegraph.
Repository permissions
Site admins can configure Sourcegraph to respect GitHub repository access permissions.
User authentication
Site admins can configure Sourcegraph to allow users to sign in via GitHub.
Browser extension
The Sourcegraph browser extension supports GitHub. When installed in your web browser, it adds hover tooltips, go-to-definition, find-references, and code search to files and pull requests viewed on GitHub and GitHub Enterprise.
- Install the Sourcegraph browser extension.
- Configure the browser extension to use your Sourcegraph instance.
- You can also use
https://sourcegraph.comfor public code only.
- GitHub Enterprise only: Click the Sourcegraph icon in the browser toolbar to open the settings page. If a permissions notice is displayed, click Grant permissions to allow the browser extension to work on your GitHub Enterprise instance.
- Visit any file or pull request on GitHub. Hover over code or click the "View file" and "View repository" buttons.