tweak

kaizhu256 · Jul 6, 2023 · f2ba30f · f2ba30f
1 parent f1915e2
commit f2ba30f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/jslint_ci.sh b/jslint_ci.sh
@@ -1015,8 +1015,7 @@ shGithubCheckoutRemote() {(set -e
     rm -rf __tmp1
     git reset "origin/$GITHUB_REF_NAME" --hard
     # fetch jslint_ci.sh from trusted source
-    git branch -D __tmp1 &>/dev/null || true
-    shGitCmdWithGithubToken fetch origin alpha:__tmp1 --depth=1
+    shGitCmdWithGithubToken fetch origin alpha:__tmp1 --depth=1 -f
     for FILE in .ci.sh .ci2.sh jslint_ci.sh myci2.sh
     do
         if [ -f "$FILE" ]