I was wondering why I still often go to GitHub for search, and I think its because I often search within a single repo and it's just easier to select a single repo on GitHub than in codesearch.
We should have an autocomplete on the repo selector, to make it faster to search for and select a single repository. Possible make this a separate page even, because opening up the advanced just to select the specific repo I already know the name of is also not that efficient.
