[kevincox]

git grep is far more expensive and slower the what GitHub does, especially on large repositories.

[justinclift]

So... ?