master/HEADgit checkout master
git pull --ff-only
Run all required tests
Tag the release. After testing the commit on a device you have to tag current commit:
git tag release-x.y.z
Release tag has to start with release- prefix, otherwise it will not be treated as a commit to create the release from.
git push origin release-x.y.z
Pushing the tag to GitHub will start the release process, which will try to complete the following steps:
To track the progress you can look at GitHub actions
After the release is successfully build you have to manually publish it on GitHub releases page
Delete the release by clicking on the release title on the release page. In its subpage in the top right corner you will see the Delete button -> click it.
Delete the tags.
git tag --delete release-x.y.z
git push --delete origin release-x.y.z
OR
git push origin :refs/tags/release-x.y.z