We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f16727f commit 496ddbeCopy full SHA for 496ddbe
1 file changed
hack/cleanup_coding_workers.sh
@@ -83,6 +83,8 @@ remove_worktree() {
83
84
if [ -d "$worktree_dir" ]; then
85
log "Removing worktree: $worktree_dir"
86
+ # Fix permissions before removal to handle any permission issues
87
+ chmod -R 755 "$worktree_dir" 2>/dev/null || warn "Failed to fix permissions on $worktree_dir"
88
git worktree remove --force "$worktree_dir" 2>/dev/null || {
89
warn "Failed to remove worktree with git, removing directory manually"
90
rm -rf "$worktree_dir"
0 commit comments