From 9c2b60e7120e34156867e9ef5e2229dd79e24b73 Mon Sep 17 00:00:00 2001
From: Chris Johns <chrisj@rtems.org>
Date: Fri, 18 Nov 2016 20:41:29 +0000
Subject: 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
-- 
cgit v1.2.3