unwind1.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

#!/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