Fixed git push on release publish

streamingfast · Feb 16, 2022 · cd5eeae · cd5eeae
1 parent 9bbcbaf
commit cd5eeae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/release.sh b/bin/release.sh
@@ -44,7 +44,7 @@ main() {
   echo "About to release version tagged $version ($mode)"
   sleep 3
 
-  if [[ "$force" == "false" ]]; then
+  if [[ "$force" == "true" ]]; then
     echo "Pushing to ensure GitHub knowns about the latest commit(s)"
     git push
   fi