From 86322f1b48fe816c96fbb5c9fbac9811cf72d2a7 Mon Sep 17 00:00:00 2001 From: Martin Jambon Date: Fri, 13 Sep 2024 14:00:45 -0700 Subject: [PATCH] Update pull request template (#507) --- .github/pull_request_template.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index b3714f7e..9a874c18 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -1,3 +1,4 @@ -### Security +### Checklist +- [ ] Any new parsing code was already published, integrated, and merged into Semgrep. DO NOT MERGE THIS PR BEFORE THE SEMGREP INTEGRATION WORK WAS COMPLETED. - [ ] Change has no security implications (otherwise, ping the security team)