diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2011-03-18 09:41:26 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2011-03-18 09:41:26 +0200 |
commit | 7e028dd8969fd08092ec90af86a9d3d6c19dc39f (patch) | |
tree | e3e5993701daa38ce5967e0e7931bfa14382fcc3 /git | |
parent | 3c18ee5ba2ced4d2430472ae7f290e23b3481167 (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-x | git/push.sh | 2 |
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 |