-
-
Notifications
You must be signed in to change notification settings - Fork 165
GitHub search autocomplete
Rob Garrison edited this page May 19, 2019
·
13 revisions
A userscript that adds autocomplete search filters to GitHub
- Searching on GitHub is complicated, and there are over 50 filters to choose from. This userscript makes them a little easier to use.
- Search filter information obtained from the pages listed on https://help.github.com/categories/search/.
- If something isn't working, please review GitHub's search documentation linked above.
- Autocomplete searchs are applied to the following search inputs:
- All pages on in the github domain with a search bar in the header.
- https://github.com/search/
- https://github.com/search/advanced
- https://github.com/:user/:repo/issues
- https://github.com/:user/:repo/pulls
- https://gist.github.com/search
- https://gist.github.com/search?q=css (added v0.1.5)
- To use:
- Enter
?
to get a full list of filters. - Press Enter, or click on the filter to choose it.
- Enter the search term, or press → (right arrow) to open up a secondary list of terms & examples.
- Enter
- NOTE: Issues do occur when using this userscript along with the Awesome Autocomplete for GitHub browser addon/extension:
- The popup for this userscript overlaps the Awesome Autocomplete's popup.
- Pressing Tab or Enter to select a dropdown item in this userscript's dropdown will also select Awesome Autocomplete's current selection and jump to that page. To bypass this problem, click on the selection using your mouse.
- Click this link to install from GitHub; or, install from GreasyFork or OpenUserJS.
- Partially fix GitHub Dark styling. Fixes issue #83.
- Update GitHub icon.
- Update assets.
- Add gist search results page.
- Change license to MIT.
- Remove initialization flag.
- Remove trailing colon from logical operators (AND, OR, NOT).
- Update jQuery v3.2.1.
- Initial commit.
- Fix linting issues