Skip to content

Latest commit

 

History

History
34 lines (21 loc) · 1.9 KB

github.md

File metadata and controls

34 lines (21 loc) · 1.9 KB

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.