I agree: GitHub's search is important because people build organizations with a hundred tiny repositories and you need to figure out which one actually has the

I agree: GitHub's search is important because people build organizations with a hundred tiny repositories and you need to figure out which one actually has the library with the function being called; if I know what repository the code is in, then I would (of course) just use grep.