3 ms·
Agreed. What editors do you have in mind? I filed a ticket for VS Code support because I’ve seen it mentioned in a few of the other comments: https://github.co
by dlukeomalley 6y ago
Agreed. What editors do you have in mind?
I filed a ticket for VS Code support because I’ve seen it mentioned in a few of the other comments: https://github.com/returntocorp/semgrep/issues/1329 https://github.com/returntocorp/semgrep/issues/1329
- stephen-bunn 6y agoVS Code and vim would be the ones I would be most concerned about as I typically jump between the two. Although a pre-commit hook is great and something I will definitely use, having this hook reporting issues in a more live manner would be a huge bonus.