From dae7f9415295cf4619f5d5d6ffe8fcaf2069ae73 Mon Sep 17 00:00:00 2001
From: tangfangzhi <fztang@taosdata.com>
Date: Tue, 23 Aug 2022 18:15:28 +0800
Subject: [PATCH] ci: git remote prune origin before git pull

---
 Jenkinsfile2 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile2 b/Jenkinsfile2
index bc309ff66c..d7df07f06a 100644
--- 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
-- 
GitLab