summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2011-03-18 10:15:41 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2011-03-18 10:16:43 +0200
commit364a6ddcce16aac4e6d563f8fdb3aaaafc358294 (patch)
tree69a960df64ba859f0a20afe70a23c01de282e8b7
parent7e028dd8969fd08092ec90af86a9d3d6c19dc39f (diff)
Push tags only if we are pushing master
-rwxr-xr-xgit/push.sh16
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