Why should we use this instead of the github search (for our private repos) ?
GitHub search is pretty useless if you want to rely on it to find all uses of a given word, say during a refactorization https://stackoverflow.com/questions/43891605/search-partial-... So, you end up having to clone all repos locally and grep for the word. Just pointing out that limitation of search in GitHub, not saying that this other tool is actually reliable to do this kind of things (I haven't used it before)
To compare GitHub to Sourcegraph search, here is that same query on Sourcegraph.com (which is Sourcegraph Server running for all open-source code on GitHub):
https://sourcegraph.com/search?q=repo:Kurento/+DISABLE_LIBRA...
It works as expected (and as the SO poster wanted)! It shows desired results that GitHub search does not.
Regexps are also supported...give it a try!