CI: unable to merge to `dev` branch

The latest job fails because the creation of the dev branch on the CI machine fails since it already exists.

We must use the -B option over -b to create the branch.