Thanks a lot! I opened a pull request with your suggestion here: https://github....

underyx on Oct 17, 2022 | parent | context | favorite | on: Semgrep: Writing quick rules to verify ideas

Thanks a lot! I opened a pull request with your suggestion here: https://github.com/returntocorp/semgrep-docs/pull/744

Edit: It's approved but that's just our CEO :D I'll wait for an approval from our tech writers who are in non-US time zones, so your suggestion will likely land tomorrow. Thank you!