From 02450ba0fe9bfa0d231d54846559a541ba6d4728 Mon Sep 17 00:00:00 2001 From: dicethedev Date: Wed, 29 Apr 2026 15:24:11 +0100 Subject: [PATCH] chore: add GitHub pull request template --- .github/PULL_REQUEST_TEMPLATE.md | 22 ++++++++++++++++++++++ 1 file changed, 22 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..a6fb5527 --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -0,0 +1,22 @@ +# Pull Request Template + +## 🗒️ Description / Motivation +- What does this PR change? +- Why is this change needed? +- What problem does it solve? + +## What Changed +- List the files or areas touched +- Brief summary of each change + +## Correctness / Behavior Guarantees +- What invariants are preserved or updated? +- Are there any behavior changes reviewers should know about? + +## Tests Added / Run +- What tests were added or updated? +- What commands did you run to verify this change? + +## Related Issues / PRs +- Closes # +- Related to #