From 5b61ccd960f1ef6d5f797ba23a284b5603af0828 Mon Sep 17 00:00:00 2001 From: Joachim Wiberg Date: Mon, 21 Oct 2024 10:07:27 +0200 Subject: [PATCH] .github: update pull request template For some documentation changes, e.g., the recent change in the QoS documentation, see de76b97, it is highly relevant to also mention this change in the release notes. In fact, any change that would make it worthwhile for a user to update their knowledge on a topic should probably be documented in the release notes. [skip ci] Signed-off-by: Joachim Wiberg --- .github/pull_request_template.md | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index 49e097f2..010faf98 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -24,4 +24,5 @@ Tick *relevant* boxes, this PR is-a or has-a: - [ ] Refactoring (please detail in commit messages) - [ ] Build related changes - [ ] Documentation content changes + - [ ] ChangeLog updated (for major changes) - [ ] Other (please describe):