Sourcegraph extensions have been deprecated with the September 2022 Sourcegraph release. Learn more.
The repo and the docs below are kept to support older Sourcegraph versions.
A Sourcegraph extension that adds more GitHub integration features to Sourcegraph.
- GitHub: Pull requests: see a table of GitHub pull requests for the current repository
This extension is experimental.
- The GitHub API request is sent each time the page loads. This is likely to cause you to hit the GitHub API rate limit (for unauthenticated users, it's 60 requests per minute).
- When you navigate to a different repository, the pull requests panel still shows the list from the first repository you viewed. Reload your browser to refresh the list.