Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Latest commit

 

History

History
History
34 lines (21 loc) · 1.92 KB

File metadata and controls

34 lines (21 loc) · 1.92 KB
Copy raw file
Download raw file
Outline
Edit and raw actions

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.

  1. Install the Sourcegraph browser extension.
  2. Configure the browser extension to use your Sourcegraph instance.
  1. 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.
  2. Visit any file or pull request on GitHub. Hover over code or click the "View file" and "View repository" buttons.
Morty Proxy This is a proxified and sanitized view of the page, visit original site.