tag-release: actually push data out unless --no-push is given

Rather than just printing a list of commands, do them, unless
--no-push is given...

Signed-off-by: H. Peter Anvin <hpa@zytor.com>

1 files changed, 5 insertions, 3 deletions

diff --git a/misc/tag-release b/misc/tag-release
index c42bbd5a..62e3eba5 100755
--- a/misc/tag-release
+++ b/misc/tag-release
@@ -43,8 +43,10 @@ git commit -m "NASM $version"
 git tag -a -m "NASM $version" "$tag"
 
 if [ $push = 1 ]; then
-    echo "git push $repo $branch"
-    echo "git push $repo $tag"
-    echo "git push --tags $repo"
+    set -x
+    git push $repo $branch
+    git push $repo $tag
+    git push --tags $repo
+    set +x
 fi