#! /bin/bash
set -ex
git fetch gdb
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