On: Let's make GitHub better, together

[porker]

Code search would also be useful, even if just string search. Or filename. E.g. somewhere in this repository there's a file called mysettings.xml

[Yes, I know I could check it out, but still...]

[Zakiazigazi → porker]

Code search is available - if somewhat hidden. Add /search to the end of the repository url on github (eg. https://github.com/rails/rails/search ).

[boyter → porker]

Shameless plug, searchco.de allows you to search over github's public repositories,

http://searchco.de/?q=irq_create_mapping+url%3Agithub

[simonw → porker]

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!

[a9entroy → porker]

On any repo page you can just press t and you can search by filename.

[mgrouchy → porker]

for filename, go to the repository (code) window and press 't' , it will give you a command-t type interface to search for filenames in the project.