#!/usr/bin/env bash
git checkout master &&
make clean && rm -f config.h && git reset --hard origin/master && git pull &&
for branch in $(git for-each-ref --format='%(refname)' refs/heads/ | cut -d'/' -f3); do
	if [ "$branch" != "master" ];then
		git checkout $branch && git rebase --preserve-merges master
	fi
done
git checkout master