3 ms·
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
by 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 agoEven 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 agoAre there any greasemonkey gurus out there who could write a script which adds a box for this onto public pages?