Push tags only if we are pushing master

1 files changed, 15 insertions, 1 deletions

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