Pinned Repositories
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.
siwamot's Repositories
siwamot/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.