3 ms·
github search, the downside being that you need to have an account
by aeyes 3y ago
github search, the downside being that you need to have an account
- gtirloni 3y agoAlso: https://codeql.github.com https://codeql.github.com
- vander_elst 3y agoNot 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.