← Back to context

Comment by radicality

2 years ago

Is the difference that now the basic search functionality actually works?

The previous standard GitHub search I found to be remarkably bad. I would be looking at some small public repo, search for an exact string match I know exists in the code, scope the search to that repo only, and still see zero results. Even copy-pasting a line of code from a file in the repo often resulted in zero matches.

I don't get it too. Maybe one needs to enable something. The search is still useless. Locally I use git-grep.