release should push the release tags as well

1 files changed, 1 insertions, 1 deletions

diff --git a/release b/release
index 5fb9f5a..0616678 100755
--- a/release
+++ b/release
@@ -32,6 +32,6 @@ git add -A
 TREE=$(git write-tree)
 COMMIT=$(echo release artifact for $VERSION | git commit-tree $TREE -p HEAD -p remotes/origin/release/artifact)
 git tag release/$TAGNAME -m "release $VERSION processed for git archive" $COMMIT
-git push origin $COMMIT:release/artifact
+git push origin $TAGNAME release/$TAGNAME $COMMIT:release/artifact
 git reset --hard master
 git checkout master