[rtems-release commit] Lets the tagging also push the tags.

[Chris Johns]

Module:    rtems-release
Branch:    master
Commit:    9c2b60e7120e34156867e9ef5e2229dd79e24b73
Changeset: http://git.rtems.org/rtems-release/commit/?id=9c2b60e7120e34156867e9ef5e2229dd79e24b73

Author:    Chris Johns <chrisj at rtems.org>
Date:      Fri Nov 18 20:41:29 2016 +0000

Lets the tagging also push the tags.

---

 rtems-release-tag | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/rtems-release-tag b/rtems-release-tag
index b5b7ecd..9b9077c 100755
--- a/rtems-release-tag
+++ b/rtems-release-tag
@@ -62,7 +62,7 @@ release=${version}.${revision}
 #
 # Enable to push.
 #
-push=no
+push=yes
 
 #
 # Repositories to tag.
@@ -123,6 +123,7 @@ cd ${ws_tag}
     git push origin ${release}
     cd ..
   done
+ fi
  cd ..
 
 exit 0