summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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