I think it was more of a jab at GitHubs laughable search. Somehow, in 2023, GitHubs search is so fucking terrible it fails to find exact string matches in codebases.

You can put your search on "quotes" and it will look for an exact match. Github's search has improved a lot recently

I have a Github userscript so I just open my Github projects in SourceGraph and do my code search there.

I hope it's better. I've historically had searches that work best with an exact match, symbols, etc. that just DO NOT work with Haha search.