Update release_tools/version_tag.sh

kevinbackhouse · Copilot · web-flow · commit 7d181926c211 · 2025-11-20T17:14:22.000Z
Co-authored-by: Copilot &lt;175728472+Copilot@users.noreply.github.com&gt;
diff --git a/release_tools/version_tag.sh b/release_tools/version_tag.sh
@@ -56,4 +56,4 @@ fi
 
 echo
 echo "I have created tag $TAG_NAME. You can push it to GitHub like this:"
-echo "git push $REMOTE_NAME tag $TAG_NAME"
+echo "git push \"$REMOTE_NAME\" tag \"$TAG_NAME\""
