summaryrefslogtreecommitdiff
path: root/git
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2011-03-18 09:41:26 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2011-03-18 09:41:26 +0200
commit7e028dd8969fd08092ec90af86a9d3d6c19dc39f (patch)
treee3e5993701daa38ce5967e0e7931bfa14382fcc3 /git
parent3c18ee5ba2ced4d2430472ae7f290e23b3481167 (diff)
Don't hardcode branch name in push.sh
Doing just ./push.sh should push to the branch being tracked. To get the old behavior, do ./push.sh master.
Diffstat (limited to 'git')
-rwxr-xr-xgit/push.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/git/push.sh b/git/push.sh
index 83fadd1..ab447b8 100755
--- a/git/push.sh
+++ b/git/push.sh
@@ -10,6 +10,6 @@ wd=`pwd`
for i in $all_modules; do
echo "push $i" 1>&2
cd $i
- git push --tags origin master
+ git push --tags origin $*
cd $wd
done