bin/master-UPDATE

   1 #! /bin/bash
   2 set -ex
   3 git fetch gdb
   4 for i in master gdb_7_2-branch;do       # gdb_7_1-branch
   5         git checkout $i
   6         [ "`git status|head -n1`" = "# On branch $i" ]
   7         git pull origin
   8         git merge gdb/$i
   9         git push origin $i
  10 done
  11 echo OK