[kreetx]

Given that this is a "history" I can't believe they don't mention grep.app. It's pretty much the way to search entire github.

There probably aren't as many drill-down features as the new official way, but speed and simplicity of UI more than make up for it.

[perk]

grep.app is excellent, but I don't think you can search the entire github, on the front page it says "Search across a half million git repos".

[kreetx]

You are right. It appears there is a cut-off for inclusion (perhaps low, < 20, star count?).