Fix trailing whitespace.

jenskeiner · Jul 5, 2024 · 33702e1 · 33702e1
1 parent 2b3aea1
commit 33702e1
Showing 1 changed file with 6 additions and 5 deletions.
diff --git a/script/release b/script/release
@@ -70,11 +70,12 @@ echo -e "${GREEN}Tagged: v$major.$minor${OFF}"
 git tag -a "v$major.$minor.$patch" -m "v$major.$minor.$patch"
 echo -e "${GREEN}Tagged: v$major.$minor.$patch${OFF}"
 
-# Push the new tag to the remote
-git push origin :"v$major" 
-git push origin "v$major" 
-git push origin :"v$major.$minor" 
-git push origin "v$major.$minor" 
+# Push new tags to the remote.
+# May overwrite existing tags for partial versions numbers.
+git push origin :"v$major"
+git push origin "v$major"
+git push origin :"v$major.$minor"
+git push origin "v$major.$minor"
 git push origin "v$major.$minor.$patch"
 echo -e "${GREEN}Release tag pushed to remote${OFF}"
 echo -e "${GREEN}Done!${OFF}"