ci: git remote prune origin before git pull

d4f19e7c · tangfangzhi · 63fd6f4c · d4f19e7c
显示空白变更内容
内联并排

Showing with 1 addition and 0 deletion

Jenkinsfile2 Jenkinsfile2 +1 -0

未找到文件。
--- a/Jenkinsfile2
+++ b/Jenkinsfile2
@@ -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