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>
This commit is contained in:
H. Peter Anvin 2012-02-25 22:02:08 -08:00
parent 75fa99713c
commit c5473121af

View File

@ -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