diff --git a/dev/dev-agent.sh b/dev/dev-agent.sh index 984707d..93acf17 100755 --- a/dev/dev-agent.sh +++ b/dev/dev-agent.sh @@ -575,13 +575,6 @@ 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 diff --git a/lib/pr-lifecycle.sh b/lib/pr-lifecycle.sh index 76d8fd8..0ea5125 100644 --- a/lib/pr-lifecycle.sh +++ b/lib/pr-lifecycle.sh @@ -348,22 +348,6 @@ pr_is_merged() { [ "$merged" = "true" ] } -# --------------------------------------------------------------------------- -# pr_close — Close a PR via forge API. -# Args: pr_number -# Returns: 0=closed, 1=error -# --------------------------------------------------------------------------- -pr_close() { - local pr_num="$1" - - _prl_log "closing PR #${pr_num}" - curl -sf -X PATCH \ - -H "Authorization: token ${FORGE_TOKEN}" \ - -H "Content-Type: application/json" \ - "${FORGE_API}/pulls/${pr_num}" \ - -d '{"state":"closed"}' >/dev/null 2>&1 || true -} - # --------------------------------------------------------------------------- # pr_walk_to_merge — Walk a PR through CI, review, and merge. #