From 96fc1f527246f076ac64190dee12e20bbd2978a9 Mon Sep 17 00:00:00 2001 From: Kevin Hester Date: Tue, 25 May 2021 08:45:47 +0800 Subject: [PATCH] use long versions for release names --- .github/workflows/release.yml | 2 +- bin/promote-release.sh | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 159a62b25..470614817 100644 --- a/.github/workflows/release.yml +++ b/.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 diff --git a/bin/promote-release.sh b/bin/promote-release.sh index 70dce868f..b4828dd68 100755 --- a/bin/promote-release.sh +++ b/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"