It is awesome that they are working on this, but can I just say there are a lot of basic search features they need to add before "doing the hard thing". Here are some things that I should be able to do easily but can't (or can't very easily or well) using GitHub's search mechanism:
1. exact or close string searches for code that involves ![]{}_-*() etc characters
2. searches across past commits (e.g. find a line that used to be in the code)
4. search across pull request + comments (not just issues and commit messages)
5. advanced search operators -- there should be a full filtering UI with ands and ors etc
Because of this I often find my self grepping locally, or (more often) totally out of luck.
1. exact or close string searches for code that involves ![]{}_-*() etc characters
2. searches across past commits (e.g. find a line that used to be in the code)
4. search across pull request + comments (not just issues and commit messages)
5. advanced search operators -- there should be a full filtering UI with ands and ors etc
Because of this I often find my self grepping locally, or (more often) totally out of luck.