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 protected]
--------------------------
PLEASE NOTICE: "github searchlite" is not endorsed by GitHub.
GitHub and Chrome, are trademarks of their respective owners.
You can Follow the below Step By Step procedure to install the GitHub Searchlite Chrome Extension to your Chrome Web browser.
It is the GitHub Searchlite Chrome extension download link you can download and install Chrome Browser.
Tags: Find File Button , Download Files , Improvements Ideas , Convenient Position , Respective Owners , Please Notice , Search Navigate , Feedback Bug , Github Searchlite , Github Search , Github Searchlite Searches , Download Button , Psantwani Gmail ,
Github with batteries included
Open GitHub repositories in online web IDE
Customize GitHub.com
Extension for viewing github stars next to github links
解决国内下载和克隆GitHub文件太慢的问题。用上Tiga给GitHub加速,体验下载和克隆飞一般的速度(大概)。
Opens any Jupyter notebook or clones a repository on Segmind.
It works on a github subfolder page - zips all the direct descendant files in that subfolder
Enhance github links in page where you navigate. Extract repository freshness and display as a badge
Code tree for Github, GitHub Enterprise and Gitee
Adds UI to GitHub commits pages to easier create GitHub compare urls