diff --git a/projects/github-issue-search.md b/projects/github-issue-search.md new file mode 100644 index 00000000000..e9eb20b177d --- /dev/null +++ b/projects/github-issue-search.md @@ -0,0 +1,28 @@ +# Search GitHub issues and PRs from Sourcegraph + +You can now search GitHub issues and PRs from anywhere you have a Sourcegraph search bar. Enable the “GitHub extras” extension to get issue search. + +With the extension installed, adding `type:issue` to any search query will search over your GitHub issues. The extension will also add a `type:issue` search filter to your filters bar. + +To search for GitHub issues: +Search for some text on Sourcegraph +Click the `type:issue` filter +Now you’ll see results for matching GitHub issues +For future searches, include `type:issue` in your query + + + + + + +The browser extension will add a “Search issues on Sourcegraph” button to the GitHub issue tracker. + +We’ve also made it possible to write extensions that add buttons to the issue tracker, just like in the code view. You can use this to add links to complex queries over your issues, such as “Show me all issues where people on my team haven’t responded”. + +You can help us build this same functionality for GitLab and Bitbucket Server! Keep track of progress on these by subscribing to these issues: [GitLab](#TODO: add issue link), [Bitbucket](#TODO: add issue link) + +