6 ms·
I am always amazed at how hard it is to find something with GitHub's search, when `git grep` works so well.
by brettlangdon 10y ago
I am always amazed at how hard it is to find something with GitHub's search, when `git grep` works so well.
- kevincox 10y agogit grep is far more expensive and slower the what GitHub does, especially on large repositories.
- justinclift 10y agoSo... ?
- josteink 10y agogrep works on the actual, full repo data and not a precomputed index (which is computationally speaking orders of magnitude faster). No online service in the world does not index things. If you need full access to everything, why not just clone the repo and do these things in the comfort of your command line?