From c5473121afc4025669ef4b86b99bdbfc7a46c44d Mon Sep 17 00:00:00 2001
From: "H. Peter Anvin" <hpa@zytor.com>
Date: Sat, 25 Feb 2012 22:02:08 -0800
Subject: [PATCH] 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>
---
 misc/tag-release | 8 +++++---
 1 file 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
 
-- 
2.11.4.GIT