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.

Extension stats

Users: 193 ▲ 2
Rating: 5.00 (1)
Version: 0.2.2 (Last updated: 2013-12-02)
Creation date: 2013-12-02
Risk impact: Very low risk impact
Risk likelihood: Low risk likelihood
Manifest version: 2
Size: 23.61K

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.
Chrome-Stats extension

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!
by Web Master, 2020-04-16
View all user reviews

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: