add back tagging on release branch

Dirrk · Jan 17, 2020 · 24068b2 · 24068b2
1 parent e7f0f72
commit 24068b2
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/pre-release.sh b/src/pre-release.sh
@@ -60,6 +60,10 @@ create_release () {
   git_commit
   git push
   echo "::debug pushed changes"
+
+  git tag -f "${TAG_PREFIX}${NEW_VERSION}"
+  git push -f --tags
+  echo "debug: pushed tags"
 }
 
 master_release () {