fix build failure after merge to integration branch

diff --git a/maven_post_build_debian_wrapper.sh b/maven_post_build_debian_wrapper.sh
index 39364adf332bf999e5cef90f8d7611cd0bf5c960..c367638f5b2107d60db052d17713e28b21a6b7e5 100755 (executable)
--- a/maven_post_build_debian_wrapper.sh
+++ b/maven_post_build_debian_wrapper.sh
@@ -137,6 +137,8 @@ if [[ ${GIT_BRANCH_NAME:0:8} = "feature/" ]] || [[ ${GIT_BRANCH_NAME:0:7} = "bug
         if [[ "$BUILD_TRIGGERS" = *"merge"* ]]; then
         git push origin integration
         figlet "Pushed to integration."
+        # restore branch we were building from:
+        git branch -D $GIT_BRANCH_NAME
         git checkout origin/$GIT_BRANCH_NAME -b $GIT_BRANCH_NAME
     fi
 fi