From 7c1a990d0a3ea0e223c7988eaca80217750495a3 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 13 Sep 2023 07:02:14 +0000
Subject: [PATCH] [gitlab] MR template -> level 2 titles
---
.gitlab/merge_request_templates/merge-request.md | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/.gitlab/merge_request_templates/merge-request.md b/.gitlab/merge_request_templates/merge-request.md
index 577847a8f11..ab59c5b1702 100644
--- a/.gitlab/merge_request_templates/merge-request.md
+++ b/.gitlab/merge_request_templates/merge-request.md
@@ -3,11 +3,11 @@
-->
Close frama-c/frama-c#NNNN
-### Description
+## Description
Your description here
-### Companion MRs
+## Companion MRs
No external plug-in impacted
@@ -15,7 +15,7 @@ No external plug-in impacted
- Plugin: link to MR
-->
-### Tasks
+## Tasks
- [ ] API documentation is up-to-date, or no need to update
- [ ] Manuals are up-to-date (and the CI manuals target has been run), or no
@@ -23,7 +23,7 @@ No external plug-in impacted
- [ ] Opam dependencies versions are up-to-date (and CI Opam targets have been
run), or no changes
-### Proposed Changelog Entry
+## Proposed Changelog Entry
<!-- 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)
--
GitLab