diff --git a/ci-scripts/Jenkinsfile b/ci-scripts/Jenkinsfile
index 3112b8f2cf..abb2e3942c 100644
--- a/ci-scripts/Jenkinsfile
+++ b/ci-scripts/Jenkinsfile
@@ -115,7 +115,6 @@ pipeline {
             } else {
               sh "git fetch"
               sh "git checkout -f ${commitID}"
-              sh "git reset --hard origin/${commitID}"
             }
           } else {
             echo "\u274C Some parameters are missing"