Allow customizing semgrep configurations; correct rule matching glob#21126
Merged
huonw merged 13 commits intopantsbuild:mainfrom purajit:20240703-semgrep-configurableJul 23, 2024
+154-62
Commits
Commits on Jul 4, 2024
- committed
- committed
- committed
- committed
- committed
