From bd0b2d03bbacd2cec59d5f40cc9227d65df5e469 Mon Sep 17 00:00:00 2001
From: "Alejandro R. Mosteo" <amosteo@unizar.es>
Date: Mon, 25 Nov 2024 09:44:56 +0100
Subject: [PATCH] feat: PR checklist

---
 .github/PULL_REQUEST_TEMPLATE.md | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 .github/PULL_REQUEST_TEMPLATE.md

diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
new file mode 100644
index 000000000..2835448de
--- /dev/null
+++ 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.