diff --git a/src/release.sh b/src/release.sh
index d20507b1d0aebdf7290e07bcf940e32ac9cc639b..d5dca306aa4d1be1ba0f1b57df92d1140aebe169 100755
--- a/src/release.sh
+++ b/src/release.sh
@@ -23,6 +23,11 @@ while :; do
       git push origin "$TAG"
       exit
       ;;
+    -a|--run-all-pipelines)
+      # Push both together without skipping the CI job
+      git push --follow-tags
+      exit
+      ;;
     --)
       # End of options
       shift