Merge branch 'master' into chore-security/pin-workflow-actions

auth0 · Jul 17, 2023 · 4c6238a · 4c6238a
2 parents 96ada29 + 64e7244
commit 4c6238a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.semgrepignore b/.semgrepignore
@@ -0,0 +1,2 @@
+examples/
+*.md