GitHub Search Tool
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.
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
Stats date:
Chrome-Stats Rank
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.
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!
by
Web Master, 2020-04-16
Safety
Risk impact
GitHub Search Tool is safe to use. It does not request 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:
Sindre Sorhus
80,000+
zvizvi
10,000+
https://zenhub.com
70,000+
indexStorm
471
noam3127
3,000+
Mu-An Chiou
524
https://scaria.dev
8,000+
colab-team
80,000+
https://star-history.com
4,000+