don't filter out local_master fist
authorBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Fri, 2 Jul 2010 16:30:40 +0000 (18:30 +0200)
committerBarış Metin <Talip-Baris.Metin@sophia.inria.fr>
Fri, 2 Jul 2010 16:30:40 +0000 (18:30 +0200)
scripts/git-mirror.sh

index 451c3a4..5da27f0 100755 (executable)
@@ -37,7 +37,7 @@ function merge_all_branches () {
     REPO_DIR=$3
 
     pushd $REPO_DIR
-    BRANCHES=$(git branch -r | grep $REMOTE | grep -v HEAD | grep -v master | sed "s/.*\///g")
+    BRANCHES=$(git branch -r | grep $REMOTE | grep -v HEAD | sed "s/.*\///g" | grep -v master)
     popd > /dev/null
 
     run "git checkout master" ${REPO_DIR}
@@ -55,7 +55,7 @@ function push_all_branches () {
     REPO_DIR=$3
 
     pushd $REPO_DIR
-    BRANCHES=$(git branch -r | grep $REMOTE | grep -v HEAD | grep -v master | sed "s/.*\///g")
+    BRANCHES=$(git branch -r | grep $REMOTE | grep -v HEAD | sed "s/.*\///g" | grep -v master)
     popd > /dev/null
 
     run "git push $REMOTE master:master" ${REPO_DIR}