Admittedly, GitHub has a "find file" button in place to search for files through the repository. But this plugin does more.
GitHub Search-lite searches for files and folders and informs you about the size and path(this is useful when there are multiple files with the same name, in the project) before you select the file/folder to navigate to.
Also, once you navigate to a file you may download a copy of the file using the download button. Currently, only files(not folders) can be downloaded. The search box is placed at a convenient position, so that it can be used intuitively.
FEEDBACK / BUG
Having troubles or improvements ideas? Submit your feedback to [email protected]
--------------------------
PLEASE NOTICE: "GitHub Searchlite" is not endorsed by GitHub.
GitHub and Chrome, are trademarks of their respective owners.
Extore is a team of professionals who are passionate about creating extensions for web browsers. This devotion also gives us opportunity to appreciate work of other people. We get inspired by useful, open source extensions made by developers all over the world. Our strong belief is that one should share helpful add-ons with others. That’s why we’d like to present you our ever-growing list of favourite extensions that have inspired us. Moreover, as you probably have already learned, sometimes struggling for the best brings an end to the good. Talking about add-ons it often turns out that an upgrade is worse then previous version. Also it can become really tricky to get back to the beloved version of your favourite extension. That’s why we’re going to make not only the latest, but all versions of our favourite (and we hope yours too) add-ons available for download. No more compromises, just stick to the version you really like!
Preparing download link, please wait for seconds
Almost done...
Click to download
Error getting file. Please try again
