From 5b244b400ff1b083c49cdcb42e2e648a5b35f4c8 Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Mon, 13 May 2024 10:54:09 +0200
Subject: [PATCH] [doc] Mention to check targeted branches in release merge
requests
---
doc/release/branch.tex | 3 +++
1 file changed, 3 insertions(+)
diff --git a/doc/release/branch.tex b/doc/release/branch.tex
index fd34e925db..adb227835d 100644
--- a/doc/release/branch.tex
+++ b/doc/release/branch.tex
@@ -55,6 +55,9 @@ and go through Merge-requests. Everything else should go in \texttt{master},
which can then be reset to standard-level protection (Developers + Maintainers
allowed to push/merge).
+If there are still merge requests tagged for this release, make sure to set
+their targeted branch to \texttt{stable/release}.
+
\section{GitLab issues}
{\em This is currently done periodically in specific Frama-C meetings, so only
--
GitLab