4 ms·'git grep' allows the search within the repo, assuming that you have it cloned locally.by zoomablemind 6y ago'git grep' allows the search within the repo, assuming that you have it cloned locally.