bin/master-UPDATE

   1 #! /bin/bash
   2 set -ex
   3 git pull origin
   4 git checkout master
   5 [ "`git status|head -n1`" = "# On branch master" ]
   6 git fetch gdb
   7 git merge gdb/master
   8 git push origin master
   9 echo OK