set -e 

echo "This script is only for developers who are publishing new builds on github.  Most users don't need it"

VERSION=`bin/buildinfo.py long`

# 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"