3 ms·

Yep, A searchbox for the actual repos would be a nice feature. Filenames and content please ;)

• holman 16y ago
  There's actually a search box in private repositories in the upper right-hand corner that searches within the project. It was turned off for public repositories for performance reasons, I think. Tom's sort of spearheading revamping search in 2011, though, (see: new Gist search), so I wouldn't be surprised if he just improves all the things.
  • oozcitak 16y ago
    Even though public repositories lack a search box, they are still searchable by adding /search?q=$keyword to the url: https://github.com/ry/node/search?q=runshell https://github.com/ry/node/search?q=runshell
    • glenjamin 16y ago
      Are there any greasemonkey gurus out there who could write a script which adds a box for this onto public pages?