Started by GitHub push by ti-chi-bot[bot]0021484214841009911009911.00942694261389321c2e67b1f6f91821f28161d42033d64afbc21e321c2e67b1f6f91821f28161d42033d64afbc21eorigin/main321c2e67b1f6f91821f28161d42033d64afbc21e321c2e67b1f6f91821f28161d42033d64afbc21eorigin/main321c2e67b1f6f91821f28161d42033d64afbc21e321c2e67b1f6f91821f28161d42033d64afbc21eorigin/mainhttps://github.com/PingCAP-QE/ci.gitfalse#138910099183303seed #13891389falsefalse13893161941SUCCESS1770040857001https://do.pingcap.net/jenkins/view/all/job/seed/1389/default-l55xv- pipelines/pingcap/docs-cn/latest/pull_verify.groovypipelines/pingcap/docs/latest/pull_verify.groovy321c2e67b1f6f91821f28161d42033d64afbc21e1770040818000https://do.pingcap.net/jenkins/user/noreplynoreplynoreply@github.comfix(docs,docs-cn/pull-verify): fix the invalid Git repository issue (#4140)
check the Git repository; if it is invalid or the root directory does
not match, delete the .git folder and perform a fresh checkout.
Handled Scenarios
- .git directory does not exist → Perform a fresh checkout
- .git directory exists but is invalid → Delete it and perform a fresh
checkout
- Mismatched Git repository root directory → Delete it and perform a
fresh checkout
- Incomplete or corrupted files restored from cache → Delete them and
perform a fresh checkout
---------
Signed-off-by: lyb <yebin.li@pingcap.com>
Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
2026-02-02 14:00:18 +0000321c2e67b1f6f91821f28161d42033d64afbc21efix(docs,docs-cn/pull-verify): fix the invalid Git repository issueeditpipelines/pingcap/docs-cn/latest/pull_verify.groovyeditpipelines/pingcap/docs/latest/pull_verify.groovy
githttps://do.pingcap.net/jenkins/user/noreplynoreply