Seems very similar to https://sourcegraph.com/search, except that github will be limited to, well, github only.