Search, navigate and download files from any git repository.
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@example.com
PLEASE NOTICE: "GitHub Searchlite" is not endorsed by GitHub.
GitHub and Chrome, are trademarks of their respective owners.