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