From f604182f8c0fdc6d8ada45a44d363cb90de09705 Mon Sep 17 00:00:00 2001
From: Robert Muir <rmuir@apache.org>
Date: Thu, 4 Jun 2015 01:02:02 -0400
Subject: [PATCH] Fix branch nuking

---
 migrate.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/migrate.sh b/migrate.sh
index b96aebdd362..5686537ec78 100755
--- a/migrate.sh
+++ b/migrate.sh
@@ -105,7 +105,8 @@ rm -rf target
 # echo "## create git $GIT_BRANCH work branch"
 
 # It first clean the existing branch if any
-git branch -D $GIT_BRANCH > /dev/null
+echo "(You can safely ignore branch not found below)"
+git branch -D $GIT_BRANCH > /dev/null || :
 
 # Create the new branch
 git branch $GIT_BRANCH > /dev/null