The following code is a Chrome extension which add a search bar on GitHub main page in order to allow the user to makes some research on repo code.
Because of the limitations of the GitHub APIs the search can only be done only on master.
Alessandro Pischedda