3 ms·
How is this genuinely different from GitHub search? More advanced grep options? Also, I'd love to see repositories available in CodeQL. GitHub seems to be promo
by wslh 2y ago
How is this genuinely different from GitHub search? More advanced grep options? Also, I'd love to see repositories available in CodeQL. GitHub seems to be promoting CodeQL heavily again.
- hawski 2y agoFor me it is mainly ease of use. I don't have to login to GitHub, it has all the necessary filters just there: repositories, paths, languages. It is very fast and supports regex search.