The other option too would be just to clone the repo locally and use grep, find, etc. That seems the simpler option if you just want to perform a search.