#29: Perform release for tags

ddb1a131 · Stephan Korsholm · b23d2b5e · ddb1a131
Commit ddb1a131 authored 2 years ago by Stephan Korsholm
Hide whitespace changes
Inline Side-by-side

Showing

with 1 addition and 7 deletions
+1 -7
--- a/ci/release.sh
+++ b/ci/release.sh
@@ -17,12 +17,6 @@ if [ -z "$TAG" ]
 then
      echo "No tag. No release"
 else
-      BRANCH=$(git rev-parse --abbrev-ref HEAD)
-      if [[ "$BRANCH" == "master" ]]
-      then
-	  release $TAG
-      else
-	  echo "Not on master. No release (branch = $BRANCH)"
-      fi
+    release $TAG
 fi