Unverified50% confidenceSolutionExact time

Deleting a worktree should use git worktree remove rather than directly rm -rf, otherwise metadata will remain in .git/worktrees and need to be cleaned up with git worktree prune.

1

Sources

50%

Confidence

Long-term

Relevance

10/12/2026

First Seen

Sources

Codex CLI 0.162 Released: Worktree Hosting and Task Pinning

Related Entities

Git worktreeconcept

Related Claims

UnverifiedSandbox isolation is typically implemented via git worktree or full repository cloning, where git worktree allows the same repository to have different branches checked out simultaneously in multiple directories.72% similar

Cite This Claim

Stable URI

https://kongchang.com/claim/1010361

API

curl https://kongchang.com/api/v1/knowledge/claims/1010361

MCP

get_claim(id=1010361)