From 5c0d126d7c467a80fe47c5e52ab37e33c3032d2c Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Tue, 5 May 2020 10:35:48 +0200
Subject: [PATCH] [Release/Doc] update release instructions

---
 doc/release/branch.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/release/branch.tex b/doc/release/branch.tex
index a7c25e31dc2..ac7bb4a8631 100644
--- a/doc/release/branch.tex
+++ b/doc/release/branch.tex
@@ -32,7 +32,7 @@ opam pin add frama-ci-tools git@git.frama-c.com:frama-c/Frama-CI.git
 \item Run the command
 \begin{shell}
 frama-ci-create-branch --token=\$TOKEN \
---new-branch=stable/release --default-branch
+--name=stable/release --default-branch
 \end{shell}
 This command creates a branch \texttt{stable/release} for frama-c and for
 each plugin tested by the CI — and configures the CI to use these branches
-- 
GitLab