From 213a13884b22e5fca0dd0bd9b569d30181e9c1db Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrg=20Lehni?= <juerg@scratchdisk.com>
Date: Tue, 26 Aug 2014 10:00:20 +0200
Subject: [PATCH] Fix pushing of release tags.

---
 build/publish.sh | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/build/publish.sh b/build/publish.sh
index 06eb26ec..e50bd94b 100755
--- a/build/publish.sh
+++ b/build/publish.sh
@@ -50,10 +50,10 @@ git add -u component.json
 git add -u dist
 # Commit
 git commit -m "Bump version to v$VERSION"
-# Tag
+# Tag & Push
 git tag "v$VERSION"
-# Push
-git push --follow-tags
+git push
+git push --tags
 # Publish
 npm publish
 
@@ -66,7 +66,7 @@ cp $PAPER_DIR/dist/paper-full.js assets/js/paper.js
 git add -A $DIST_FILE
 git add -u assets/js/paper.js
 git commit -m "Release version v$VERSION"
-# Tag
+# Tag & Push
 git tag "v$VERSION"
 git push
 git push --tags