From 8dd69fd4dd250b3f6ca1fdcad8401ef51cddbd66 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@cea.fr> Date: Tue, 12 Sep 2023 06:29:17 +0000 Subject: [PATCH] [gitlab] improve merge request template --- .gitlab/merge_request_templates/merge-request.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/.gitlab/merge_request_templates/merge-request.md b/.gitlab/merge_request_templates/merge-request.md index f1a64cfc892..577847a8f11 100644 --- a/.gitlab/merge_request_templates/merge-request.md +++ b/.gitlab/merge_request_templates/merge-request.md @@ -25,4 +25,10 @@ No external plug-in impacted ### Proposed Changelog Entry -Your entry here +<!-- Only if needed. The list of changes that warrant a Changelog entry is not completely fixed, but includes at least + - Bug fix on pub/frama-c (use `##nnnn` to refer to the issue) + - Modification that is visible to the end-user + - API change, notably function deprecation + + See [Changelog](https://git.frama-c.com/frama-c/frama-c/-/blob/master/Changelog) for how to format an entry. +--> -- GitLab