diff --git a/.semgrepignore b/.semgrepignore new file mode 100644 index 0000000..77f12ae --- /dev/null +++ b/.semgrepignore @@ -0,0 +1 @@ +docs/