diff options
Diffstat (limited to 'dist/release-vespa-rpm.sh')
-rwxr-xr-x | dist/release-vespa-rpm.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dist/release-vespa-rpm.sh b/dist/release-vespa-rpm.sh index dbd5565729c..b217affe8fd 100755 --- a/dist/release-vespa-rpm.sh +++ b/dist/release-vespa-rpm.sh @@ -29,6 +29,10 @@ for i in 1 2 3; do git pull --rebase done +# Create a proper release tag +git tag -a "v$VERSION" -m "Release $VERSION" $GITREF +git push origin "v$VERSION" + # Delete existing branch if exists and create new one git push --delete origin $RPM_BRANCH &> /dev/null || true git branch -D $RPM_BRANCH &> /dev/null || true |