#! /bin/bash
set -ex
-git pull origin
-git checkout master
-[ "`git status|head -n1`" = "# On branch master" ]
git fetch gdb
-git merge gdb/master
-git push origin master
+for i in master gdb_7_2-branch;do # gdb_7_1-branch
+ git checkout $i
+ [ "`git status|head -n1`" = "# On branch $i" ]
+ git pull origin
+ git merge gdb/$i
+ git push origin $i
+done
echo OK