Code

[Clean-up] Remove unneeded nosemgrep#18

Code

Merged

daniel-elttam merged 1 commit intomainelttam/semgrep-rules:mainfrom f-remove-old-nosemgrep-metadata-technologyelttam/semgrep-rules:f-remove-old-nosemgrep-metadata-technologyCopy head branch name to clipboardNov 5, 2024

-4

Commits

Commits on Oct 25, 2024

• [Clean-up] Remove unneeded nosemgrep

  Show description for 5036113
  ben-elttam

  committed
  5036113

  Copy full SHA for 5036113