Commit
321c2e67b1f6f91821f28161d42033d64afbc21e
by noreplyfix(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>
(commit: 321c2e6)