Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Pro
Popular repositories
815 contributions in the last year
Contribution activity
June 2020
Created a pull request in returntocorp/semgrep that received 4 comments
Remove print_error_exit in favor of using exceptions
More refactors before completing #777. This was briefly discussed here: #904 (comment) Basically, #777 is difficult because there are many ways we …
+89
−91
•
4
comments
- Fix 'pattern_id' when using nested pattern operators
- Update integrations docs to include CI information
- Prepend output severity with 'severity:'
- Update pfff to 81aae1b9ce4
- Remove print_error_exit in favor of using exceptions
- Refactor user-defined exceptions
- docs: Add install instructions
- tests: more readable output in qa-tests
Created an issue in returntocorp/semgrep that received 1 comment
Document using semgrep in common CI systems
I think we can just ape something like this: https://github.com/dlint-py/dlint/tree/master/docs#how-can-i-integrate-dlint-into-xyz
1
comment
3
contributions
in private repositories
Jun 2 – Jun 8