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.