Repository navigation

F: merge the task's published PR, not github.pullRequest (#121) - #126

Merged

mchwang merged 4 commits into

mainfrom

feat/121-merge-task-pr

Oct 5, 2026

Merged

F: merge the task's published PR, not github.pullRequest (#121)#126
mchwang merged 4 commits into
mainfrom
feat/121-merge-task-pr

Commits on Oct 5, 2026
- F: merge the task's published PR, not github.pullRequest (#121)
  
  mchwang
  and
  claude
  committed
  06e6303
- F: name the merge target as the opening that began last (#121)
  
  mchwang
  and
  claude
  committed
  a4c7ad4
- F: give the #113 merge-gate test the PR number and draft flag (#121)
  
  mchwang
  and
  claude
  committed
  a2c6dba
- F: keep the review's blockers when no merge target resolves; test the configured PR through the server (#121)
  
  mchwang
  and
  claude
  committed
  6b29a8a