From d01c78977bb674f168660460e2c2ff10db2fabc7 Mon Sep 17 00:00:00 2001 From: "Alejandro R. Mosteo" Date: Mon, 25 Nov 2024 09:44:56 +0100 Subject: [PATCH] feat: pull-request 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 00000000..8f2c448c --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -0,0 +1,6 @@ + + +##### 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. -- 2.39.5