[zoomablemind]

'git grep' allows the search within the repo, assuming that you have it cloned locally.