[JacobStephens2]

Summary

Follow-up to #2123. The project's built-in Pull request linked to issue workflow sets Status to PR open. When a Run links its pull request while it still holds the Claim, the issue left In Progress even though the Run was still live. The Action now also handles pull request events and works out each closed issue's status the same way it does for label events:

 on issues: labeled / unlabeled in-progress
+on pull_request_target: opened / reopened / edited
+  for each issue the pull request closes in this repository
   sync_issue
     claimed                       Todo | PR open      → In Progress
-    unclaimed, open closing PR   In Progress         → PR open
+    unclaimed, open closing PR   Todo | In Progress  → PR open
     unclaimed, no open PR        In Progress         → Todo

pull_request_target gives the job the secret on pull requests from forks too. The job only reads issue and project data and never checks out pull request code.

After merge: turn off the built-in "Pull request linked to issue" workflow in the project settings. This Action now covers that case, and if both ran, they would race.

Evidence

Execution evidence

I extracted the step's script and ran it against live data with the mutation stubbed out. PR #2120 closes #2090.

• Before: with Deepen Fleet Run metrics source capture #2090 Claimed and in PR open (the edge case), nothing moved it back.
  After: I forced current=PR open:

  Issue #2090:
  Moved issue #2090 to In Progress.
  

• Unclaimed Deepen Fleet Run metrics source capture #2090 forced into Todo → Moved issue #2090 to PR open.
• Real state, PR Capture Fleet metrics saved sources once per operation #2120 → Issue #2090: Claimed issue is not in Todo or PR open; no change.
• PR Move an issue out of In Progress when its Claim ends #2123 (merged, closes nothing open) → Pull request #2123 closes no issue here; no change.
• Issue Refuse to start a Run or Spec run on an issue whose own triage label says it isn't agent work #228 → Unclaimed issue without an open pull request is not In Progress; no change.

actionlint reports only the two SC2016 infos that are already on main.

Merge Danger

Door: two-way

Blast Radius: board-only

It changes only the project Status field. Revert it and turn the built-in workflow back on to undo.