PR template

openid · Jul 15, 2024 · 6e84a10 · 6e84a10
1 parent 0e01ec5
commit 6e84a10
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
@@ -0,0 +1,10 @@
+## PR Checkpoints
+- [ ] >=4 approvals
+- [ ] >=1 week since PR's final state
+- [ ] Only Chairs can merge the PR
+
+## Summary
+
+## Related Issue(s)
+
+## Special notes for your reviewer