feat: PR checklist

mosteo · Nov 25, 2024 · bd0b2d0 · bd0b2d0
1 parent 20dc457
commit bd0b2d0
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
@@ -0,0 +1,6 @@
+<!-- Description of the changes. -->
+
+### PR creation checklist
+- [ ] A test is included, if required by the changes.
+- [ ] `doc/user-changes.md` has been updated, if applicable.
+- [ ] `doc/catalog-format-spec.md` has been updated, if applicable.