Fix pushing of release tag

STEllAR-GROUP · Feb 14, 2020 · 070a109 · 070a109
1 parent b59463c
commit 070a109
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/roll_release.sh b/tools/roll_release.sh
@@ -62,6 +62,7 @@ git config user.name "STE||AR Group"
 echo ""
 echo "Tagging release."
 git tag -s -a "${VERSION_FULL_TAG}" -m "${VERSION_DESCRIPTION}"
+git push origin "${VERSION_FULL_TAG}"
 
 echo ""
 echo "Creating release."