RC to master merge - STORM-IRIT/Radium-Engine GitHub Wiki

PR are merged to release-candidate.

Such that any Radium-Dependent project can be tested against it.

Once every thing is ok, release-candidate is moved to master by a repo admin.

must be done by hand

git fetch origin
git switch master
git reset --hard origin/release-candidate
git log # to see everything ok
git rebase -i HEAD^ # to edit commit message
# edit commit message to remove [skip ci]
git push # this will trigger github action to bump version, doc, etc ...

Wait for CI to add version update commit [skip ci], and finally, update release-candidate

git switch release-candidate
git fetch # just in case ;)
git reset --hard origin/master
git push -f # force since we have updated commit message to remove [skip ci]