aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com>2022-10-21 11:01:22 +0200
committerManuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com>2022-10-21 11:01:22 +0200
commit02e2fa0f64b6ded7a81d50fa4524b9be6c9a4315 (patch)
treed97ea540c65f5091ea228a730d83bbe611279ad5 /.github
parent149c1516e78dc84f6493cef52e4ebd615c3ba5a9 (diff)
downloadmbedtls-02e2fa0f64b6ded7a81d50fa4524b9be6c9a4315.zip
mbedtls-02e2fa0f64b6ded7a81d50fa4524b9be6c9a4315.tar.gz
mbedtls-02e2fa0f64b6ded7a81d50fa4524b9be6c9a4315.tar.bz2
Make ChangeLog more visible in PR template
Signed-off-by: Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com>
Diffstat (limited to '.github')
-rw-r--r--.github/pull_request_template.md4
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
index c580443..9bc3b0a 100644
--- a/.github/pull_request_template.md
+++ b/.github/pull_request_template.md
@@ -17,6 +17,10 @@ Changes do not have to be backported if:
Yes | NO
Which branch?
+## Requires ChangeLog entry
+
+YES | NO - if no, why not?
+
## Migrations
If there is any API change, what's the incentive and logic for it.