This script is now part of the Github Enhancement Suite
andres-mendoza / github-code-search.user.js Goto Github PK
View Code? Open in Web Editor NEWThis project forked from skratchdot/github-code-search.user.js
A user script that adds a search box to repository pages which allows you to search the code in that repository.