From 79a048ce20ac307c4d63d889797db9374e328210 Mon Sep 17 00:00:00 2001
From: Ismo Vuorinen <ismo.vuorinen@superhelio.com>
Date: Wed, 10 Aug 2016 14:27:44 +0300
Subject: [PATCH] Explicitly push tags

---
 release.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/release.sh b/release.sh
index 1bd530b..cd8ddfd 100755
--- a/release.sh
+++ b/release.sh
@@ -153,6 +153,7 @@ echo -ne "${QUESTION_FLAG} ${CYAN}Push everything to origin?"
 read -r PUSH
 if [[ $PUSH =~ [yY](es)* ]] || [ "$PUSH" = "" ]; then
     git push --all origin
+    git push --tags origin
 fi
 
 echo -e "${NOTICE_FLAG} Done!"