remove semgrep, theyre spamming me too much

untitaker · Aug 30, 2023 · 7847a31 · 7847a31
1 parent aaae32e
commit 7847a31
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/docs/alternatives.md b/docs/alternatives.md
@@ -31,8 +31,3 @@ shell-scripts.
 * [Beyond Grep](https://beyondgrep.com/more-tools/) has a table of
   (regex-based) *text search* tools. The best one IMO is
   [`ripgrep`](https://github.com/BurntSushi/ripgrep).
-
-* [`semgrep`](https://github.com/returntocorp/semgrep) is a search tool with a
-  bit of semantic knowledge, but also general text matching abilities that go
-  beyond regular expressions.
-