diff --git a/Final-Release.html b/Final-Release.html index 84cf5f8..b30f328 100644 --- a/Final-Release.html +++ b/Final-Release.html @@ -286,7 +286,7 @@
Find the commit id and tag the release on the release branch:
git tag --annotate --message="Release $NEWVER" "branch-off-$NEWVER" <COMMIT_ID>
-git push upstream $NEWVER
+git push upstream "branch-off-$NEWVER"