I've often been frustrated by the GitHub search and used applications like grep.app (And also an internal tool). However, it looks like GitHub are on the case and are making their search super powerful: cs.github.com/