4 ms·Tried `git grep`? It's a nearly full grep, and will ignore things that aren't tracked in the repo.by kspaans 11y agoTried `git grep`? It's a nearly full grep, and will ignore things that aren't tracked in the repo.