Not sure of it's only me but GitHub search is absolutely unusable, it does not find a variable name in the file I have open in the other pane and I can see it exists.

Also: https://codeql.github.com