Delete any existing branch
This commit is contained in:
parent
8db7c19776
commit
321b68e505
|
@ -638,7 +638,14 @@ function git_pull {
|
|||
git pull
|
||||
|
||||
if [ $2 ]; then
|
||||
# delete any existing branch
|
||||
git branch -D $2
|
||||
# check out the new branch
|
||||
git checkout $2 -b $2
|
||||
if [ ! "$?" = "0" ]; then
|
||||
echo $"Unable to checkout $1 $2"
|
||||
exit 72357
|
||||
fi
|
||||
fi
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in New Issue