From 95c9745db00b0e2b545a8e93021544c10d8665ac Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20=C5=A0pl=C3=ADchal?= Date: Mon, 9 Dec 2024 12:33:37 +0100 Subject: [PATCH] Set up default owners and the pull request checklist (#270) Let's enable the `CODEOWNERS` file so that we do not have to ask for review manually for each pull request. Also add the pull request checklist so that we don't forget about the important steps (like including the release note which was missing in all recent pulls). --- .github/CODEOWNERS | 6 ++++++ .github/pull_request_template.md | 7 +++++++ 2 files changed, 13 insertions(+) create mode 100644 .github/CODEOWNERS create mode 100644 .github/pull_request_template.md diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS new file mode 100644 index 0000000..fd052f7 --- /dev/null +++ b/.github/CODEOWNERS @@ -0,0 +1,6 @@ +# This is a comment. +# Each line is a file pattern followed by one or more owners. + +# These owners will be the default owners for everything in +# the repo. Unless a later match takes precedence +* @psss @lukaszachy @happz @thrix @janhavlin @martinhoyer diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md new file mode 100644 index 0000000..aeec16c --- /dev/null +++ b/.github/pull_request_template.md @@ -0,0 +1,7 @@ +## Checklist + +* [ ] implement the feature +* [ ] write the documentation +* [ ] extend the test coverage +* [ ] mention the version +* [ ] include a release note