You're kidding, right? Search in github is so bad that I typically clone a repo and grep it rather than try to find things with their search. And they built a wiki feature without search whatsoever?! (from what I can find) That's absurd