did you mean to link to https://github.com/semgrep/semgrep instead?