Repository navigation

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

Closed

mchwang wants to merge 2 commits into

feat/103-publish-prfrom

feat/121-merge-task-pr

Closed

F: merge the task's published PR, not github.pullRequest (#121)#122
mchwang wants to merge 2 commits into
feat/103-publish-prfrom
feat/121-merge-task-pr

Commits on Oct 4, 2026
- F: merge the task's published PR, not github.pullRequest (#121)
  
  mchwang
  and
  claude
  committed
  d012a65
- F: name the merge target as the opening that began last (#121)
  
  mchwang
  and
  claude
  committed
  cca2dfd