Skip to content
Snippets Groups Projects
Commit 5c0d126d authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Release/Doc] update release instructions

parent 5aac7db6
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment