All changes have been performed locally, you now need to push those changes remotely:
bash
push main branch
git push origin main
push newly created stable branch
STABLE_BRANCH=...
git push origin $STABLE_BRANCH
Tag a new version
Checkout the _stable_ branch from which you want to tag a new release.
bash
STABLE_BRANCH=...
git checkout $STABLE_BRANCH
Update the version and create a git tag by running:
bash
./scripts/update-version.sh -t -u
Where:
* `-t`, ensure the script creates a new tag.
* `-u`, update the HORREUM_BRANCH in the makefile.
* The scripts will output the new version, prefix it with `v` to obtain the tag.
Update to the next development version by running:
bash
./scripts/update-version.sh -d
Where:
* `-d`, marks the version as development one.
* The scripts will output the new version.
Commit and push changes:
bash
git commit -am "Next is <NEXT_DEV_VERSION>"
git push origin $STABLE_BRANCH
LATEST_TAG=...
git push origin $LATEST_TAG