On: Let's make GitHub better, together

[simonw]

Filename search is available for all repositories - hit "t" and start typing your search query. It's fantastic.

A "search source code" box is available for my paid for private repos, so I guess it's a premium feature.

[porker → simonw]

Thank you!