diff options
author | Bjørn Christian Seime <bjorn.christian@seime.no> | 2017-09-05 12:06:02 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-05 12:06:02 +0200 |
commit | e349c30937b43db000f9cbf7ed2e463c74618041 (patch) | |
tree | ad9bfad0a46dacff46b555670dbde54057548500 /dist | |
parent | 0287007ab70391de1ff3b3aed4f698927377d39d (diff) |
Create and push git tag for release
Diffstat (limited to 'dist')
-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 d5f969b34dc..e35d6d76c88 100755 --- a/dist/release-vespa-rpm.sh +++ b/dist/release-vespa-rpm.sh @@ -32,6 +32,10 @@ mv pom.xml pom.xml.hide tito init tito tag --use-version=$VERSION --no-auto-changelog +# Create git release tag +git tag $VERSION $GITREF +git push $VERSION + # Push changes and tag to branc git push -u origin --follow-tags $RPM_BRANCH |