use long versions for release names

.github/workflows/release.yml

@@ -49,7 +49,7 @@ jobs:
 
     # Will be available in steps.version.outputs.version
     - name: Get version string
-      run: echo "::set-output name=version::$(./bin/buildinfo.py short)"
+      run: echo "::set-output name=version::$(./bin/buildinfo.py long)"
       id: version
 
     - name: Build everything

bin/promote-release.sh

@@ -2,10 +2,10 @@ 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 short`
+VERSION=`bin/buildinfo.py long`
 
 # Must have a V prefix to trigger github
-git tag -f "v${VERSION}"
-git push root -f "v${VERSION}" # push the tag
+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"