fix: bug: dev-agent does not clean up branch/worktree on CI exhausted or block (#115)
This commit is contained in:
parent
0f6f074b6d
commit
e9a4fc7b80
2 changed files with 23 additions and 0 deletions
|
|
@ -575,6 +575,13 @@ else
|
|||
outcome="blocked_${_PR_WALK_EXIT_REASON:-agent_failed}"
|
||||
profile_write_journal "$ISSUE" "$ISSUE_TITLE" "$outcome" "$FILES_CHANGED" || true
|
||||
|
||||
# Cleanup on failure: close PR, delete remote branch, clean up worktree
|
||||
if [ -n "$PR_NUMBER" ]; then
|
||||
pr_close "$PR_NUMBER"
|
||||
fi
|
||||
git push "$FORGE_REMOTE" --delete "$BRANCH" 2>/dev/null || true
|
||||
worktree_cleanup "$WORKTREE"
|
||||
rm -f "$SID_FILE" "$IMPL_SUMMARY_FILE"
|
||||
CLAIMED=false
|
||||
fi
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue