Skip to content

Resolve "CI: unable to merge to `dev` branch"

Daniel Dehennin requested to merge 58-ci-unable-to-merge-to-dev-branch into master

The git checkout -b fails if the branch already exists.

We must use -B to reset existing branch against its upstream.

Closes #58 (closed)

Edited by Daniel Dehennin

Merge request reports