Merge pull request #16368 from taosdata/ci/TD-18521_main

ci: git remote prune origin before git pull
2022-08-24 11:35:17 +08:00 · 2022-08-24 11:35:17 +08:00 · 1d322482ff
parent dc10d983c3 7ef20f7df2
commit 1d322482ff
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -53,6 +53,7 @@ def check_docs() {
        }
        sh '''
            cd ${WKC}
+            git remote prune origin
            git pull >/dev/null
            git fetch origin +refs/pull/${CHANGE_ID}/merge
            git checkout -qf FETCH_HEAD