diff --git a/bin/promote-release.sh b/bin/promote-release.sh new file mode 100755 index 000000000..98e3d6748 --- /dev/null +++ b/bin/promote-release.sh @@ -0,0 +1,9 @@ +echo "This script is only for developers who are publishing new builds on github. Most users don't need it" + +VERSION=`bin/buildinfo.py` + +# Must have a V prefix to trigger github +git tag "v${VERSION}" +git push root "v${VERSION}" # push the tag + +echo "Tag ${VERSION} pushed to github, github actions should now be building the draft release. If it seems good, click to publish it" diff --git a/version.properties b/version.properties index d132579fb..e0d2b5841 100644 --- a/version.properties +++ b/version.properties @@ -1,4 +1,4 @@ [VERSION] major = 1 minor = 2 -build = 28 +build = 29