From 27c58aba03e93a9102e8f01bc5884ef149c70c02 Mon Sep 17 00:00:00 2001
From: haoranchen <haoran920c@163.com>
Date: Tue, 11 Mar 2025 20:00:01 +0800
Subject: [PATCH] fix: delete taos-tools repo in  Jenkinsfile2

---
 Jenkinsfile2 | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/Jenkinsfile2 b/Jenkinsfile2
index 3135b7b683..8853d068cb 100644
--- a/Jenkinsfile2
+++ b/Jenkinsfile2
@@ -112,16 +112,6 @@ def build_pre_docs(){
             git fetch origin +refs/pull/${CHANGE_ID}/merge
             git checkout -qf FETCH_HEAD 
         '''
-
-        sh '''
-             cd ${DOC_WKC}/${tools_repo}
-            git reset --hard
-            git clean -f
-            git fetch
-            git remote prune origin
-            git checkout ''' + env.CHANGE_TARGET + '''
-            git pull >/dev/null
-        '''
     }
 }