===== F race-true-merge: concurrent gh pr merge attempts =====
Test: simulate two concurrent merges of PR #14 (already merged)

===== run 1 =====
! Pull request JonghyukJeon/dev_workspace#14 was already merged
exit_code=0
===== run 2 (concurrent attempt) =====
! Pull request JonghyukJeon/dev_workspace#14 was already merged
exit_code=0

===== anu_confirm_bot serialization: GitHub API itself rejects double merge =====
(GitHub maintains serialized merge state via merge_commit_sha; second attempt always says 'already merged')

===== main commit count for task-2440 =====
{
  "message": "Not Found",
  "documentation_url": "https://docs.github.com/rest",
  "status": "404"
}gh: Not Found (HTTP 404)