Add checkboxes to the PR template to indicate if schema updates are n…

…eeded
OAI · Jan 10, 2025 · 71e5119 · 71e5119
1 parent 796ce1a
commit 71e5119
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
@@ -13,3 +13,9 @@ present on the main branch, only on the development branches).
 
 Note that we do not accept changes to published specifications.
 -->
+
+Tick one of the following options:
+
+- [ ] schema changes are included in this pull request
+- [ ] schema changes are needed for this pull request but not done yet
+- [ ] no schema changes are needed for this pull request