From 60fdbd668bcfb63a3fe9412c034332e9dead178b Mon Sep 17 00:00:00 2001 From: yomguy Date: Wed, 3 Oct 2012 00:15:48 +0200 Subject: [PATCH] all branches to github --- tools/dev/push.sh | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/tools/dev/push.sh b/tools/dev/push.sh index 6369c231..bc221452 100755 --- a/tools/dev/push.sh +++ b/tools/dev/push.sh @@ -7,10 +7,8 @@ do echo "Push $branch to origin:" git push origin $branch - if [[ $branch == *master* ]]; then - echo "Push $branch to github:" - git push hub $branch - fi + echo "Push $branch to github:" + git push hub $branch done -- 2.39.5