Instant access to the GitHub search bar
What is GitHub Search Tool?
GitHub Search Tool is a Chrome extension that provides instant access to the GitHub search bar. Easily search for repositories, users, or code within GitHub right from your browser. Simply click the extension icon or use the predefined shortcut to open the search bar, enter your search query, and view the results in the current tab. Customize the shortcut to your preference in Chrome settings.
Extension stats
By: Paweł Urbanek
Rating: 5.00
(1)
Creation date: 2013-12-02
Risk impact: Very low risk impact
Risk likelihood: Low risk likelihood
Manifest version: 2
Size: 23.61K
Email: co*****@pawelurbanek.com
Other platforms
Not available on Firefox
Not available on Edge
Want to check extension ranking and stats more quickly for other Chrome extensions?
Install
Chrome-Stats extension
to view Chrome-Stats data as you browse the Chrome Web Store.
Extension summary
Extension provides access to the GitHub search bar.
Click the icon or press CTRL(CMD)+SHIFT+F to show the search bar. Type in the search phrase and press ENTER.
Results will display in the current tab.
If you have already a binding for the default shortcut, extension will NOT overwrite it. You can set your own in Chrome settings.
User reviews
Works fine, thanks!
Extension safety
Risk impact
GitHub Search Tool does not require any sensitive permissions.
Risk likelihood
GitHub Search Tool has earned a fairly good reputation and likely can be trusted.
Upgrade to see risk analysis details
Similar extensions
Here are some Chrome extensions that are similar to GitHub Search Tool:
Refined GitHub GitHub Web IDE ZenHub for GitHub GitHub Recommender Dashboard filter for GitHub GitHub Code Folding Le Git Graph - Commits Graph for GitHub Star History GitHub Pull Requests
Sindre Sorhus
4.82
80,000+
zvizvi
4.64
10,000+
https://zenhub.com
4.75
60,000+
indexStorm
5.00
505
Mu-An Chiou
4.50
482
noam3127
5.00
3,000+
https://scaria.dev
4.59
9,000+
https://star-history.com
4.93
4,000+
developer.shams.jamal67
5.00
58