From f045e5a88d9bb4cc7d6bcfcd360e793bd6395eed Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Mon, 11 Sep 2023 15:37:51 +0200 Subject: [PATCH] [gitlab] draft MR template --- .../merge_request_templates/merge-request.md | 28 +++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 .gitlab/merge_request_templates/merge-request.md diff --git a/.gitlab/merge_request_templates/merge-request.md b/.gitlab/merge_request_templates/merge-request.md new file mode 100644 index 00000000000..f1a64cfc892 --- /dev/null +++ b/.gitlab/merge_request_templates/merge-request.md @@ -0,0 +1,28 @@ +<!-- Please use the syntax frama-c/frama-c, else it might close unrelated + public issues +--> +Close frama-c/frama-c#NNNN + +### Description + +Your description here + +### Companion MRs + +No external plug-in impacted + +<!-- +- Plugin: link to MR +--> + +### 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 + need to update (including ACSL manual) +- [ ] Opam dependencies versions are up-to-date (and CI Opam targets have been + run), or no changes + +### Proposed Changelog Entry + +Your entry here -- GitLab