Update pull request template (#507)

semgrep · Sep 13, 2024 · 86322f1 · 86322f1
1 parent 5e01926
commit 86322f1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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)