From 364a6ddcce16aac4e6d563f8fdb3aaaafc358294 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Fri, 18 Mar 2011 10:15:41 +0200
Subject: Push tags only if we are pushing master

---
 git/push.sh | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/git/push.sh b/git/push.sh
index ab447b8..a97edea 100755
--- a/git/push.sh
+++ b/git/push.sh
@@ -6,10 +6,24 @@ self=`realpath $0`
 . `dirname $self`/modules
 
 wd=`pwd`
+br=$1
 
 for i in $all_modules; do
   echo "push $i" 1>&2
   cd $i
-  git push --tags origin $*
+
+  if [ -z "$1" ]; then
+    br=`git symbolic-ref -q HEAD`
+    br=`echo $br | sed -e 's%^refs/heads/%%'`
+  fi
+
+  # Also push tags if we are pushing master.
+  #
+  if [ "$br" = "master" ]; then
+    git push --tags origin master
+  else
+    git push $ops origin $1
+  fi
+
   cd $wd
 done
-- 
cgit v1.1