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
 

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.
 #