Earlier quoted context omitted.
Same here. GitHub search sucks for authoritative, governance use cases. I got burned a few times and now just pull everything down myself and search it. I think there’s code search companies but they are too expensive for me and I suppose some people really value it more highly. Comically, I need the old Google search appliance and just treat it as a web source for lots of my questions (who is using log4j, etc).
> just pull everything down myself and search it. `grep -r` or `git-all grep` or something better?
Re: A brief history of code search at GitHub
#21I'm not who you replied to but I use ag and it's pretty fast (faster than grep I think)