This is news to me. I’ve been cloning and searching for years because web search was useless. And by useless I mean - I know the word I’m looking for appears in exactly four places, formatted and capitalized exactly this way - and GitHub web search still doesn’t find it.
It wouldn’t surprise me if it’s gotten massively better - but only in the way that choosing to ride a bicycle to work is a massive improvement over sitting on a random rock.
Phen@lemmy.eco.br 11 months ago
nous@programming.dev 11 months ago
Just use the search bar… the only one they have that is on every page. That takes you to the results which defaults to code, but you can change it on the side to show repos, issues, prs, etc. You can even limit it to single repos or whole organisations.
Phen@lemmy.eco.br 11 months ago
Kuinox@lemmy.world 11 months ago
You used the wrong search bar, you just used the one for the file list.
There is a search icon on the rope right.