diff --git a/doc/release/branch.tex b/doc/release/branch.tex index a7c25e31dc274a72661c7e1a310ed39bf4b10ae1..ac7bb4a8631545f8acb89a793c44e592c74f0686 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