fix script again

Author: Geometer1729

use-ci-fix.sh

@@ -3,5 +3,4 @@ set -e
 FIX_BRANCH="$(git branch --show-current)-ci-fix"
 git fetch origin $FIX_BRANCH
 git merge origin/$FIX_BRANCH
-git branch -D $FIX_BRANCH
 git push origin --delete $FIX_BRANCH