From 7dc8bae1ed5c422ba136b9a81bfb9576afe73705 Mon Sep 17 00:00:00 2001 From: "Lina L." Date: Sat, 28 Dec 2024 12:42:31 +0100 Subject: [PATCH] unclutter the pull request template (#732) * unclutter the pull request template * fix heading * fix pr checklist --- .github/PULL_REQUEST_TEMPLATE.md | 42 +++++++++++++++++--------------- 1 file changed, 22 insertions(+), 20 deletions(-) diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index e51e00e63..4d70a7a72 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -1,27 +1,29 @@ # Description +Please include a summary of why this pull request should be merged. -Please include a summary of the change and which issue is fixed. Please also include relevant motivation and context. - -Use smart commits here to manipulate issues (eg. Fixes #issue) - -## Connected issues & other potential problems + -# Checklist: +## Type of change -- [ ] Ran `dart analyze` or `make analyze` and fixed all issues -- [ ] Ran `dart format --set-exit-if-changed -l 160 ./lib` or `make format` and fixed all issues -- [ ] I have performed a self-review of my own code -- [ ] I have commented my code, particularly in hard-to-understand areas -- [ ] I have made corresponding changes to the documentation -- [ ] I have added tests that prove my fix is effective or that my feature works + + +## Checklist: + +