#!/bin/bash -x

if [ "$1" == "guimaster" ]; then
	git checkout devel
	git branch -D guimaster
	git branch guimaster
	git checkout guimaster
	git push --set-upstream --force origin guimaster
	exit
fi

if [ "$1" == "master" ]; then
	git checkout devel
	git branch -D master
	git branch master
	git checkout master
	git push --set-upstream --force origin master
	exit
fi