Keep pr_cleanup.py From Deleting a Worktree's Ignored Files #4009

Consolidated from the per-unit trackers a carrier's resync filed on 2026-11-09. CodeRabbit raised each finding against a byte-identical carried copy at hub c175d557. Each was re-checked against hub main at 42f2155b, and the defect still stands there. Source: #3966 item 1, from ptr727/NxWitness#670.

Defect

scripts/pr_cleanup.py judges a worktree clean with git status --porcelain --untracked-files=all, which omits ignored files. It then removes the worktree with a plain git worktree remove. Git refuses a worktree holding tracked or untracked changes, but it deletes ignored files without asking.

Failure

Constructed case: a worktree whose pull request merged holds an ignored local.env. cleanup <number> reads the tree as clean, removes it, and the file is gone with no message. cleanup --sweep --apply reaches the same path for every worktree it lists.

Fix Site

• The dirty check and the removal in scripts/pr_cleanup.py. Either refuse while ignored files are present, or name them before removing.
• repo-worktree "Listing and Cleanup" states the same clean test in prose, so it moves with the code.

🤖 Generated with Claude Code