[JacobStephens2]

Summary

Follow-up to #2124. Pull request cards on the board now follow the same rules as issues. On a pull request, in-progress is a Review run's or Fix run's reservation.

 on issues: labeled / unlabeled in-progress          → sync the issue
-on pull_request_target: opened / reopened / edited  → sync the issues it closes
+on pull_request_target: opened / reopened / edited  → sync the pull request, then the issues it closes
+on pull_request_target: labeled / unlabeled in-progress → sync the pull request
 sync_item
   claimed                                     Todo | PR open      → In Progress
-  unclaimed, open closing PR                  Todo | In Progress  → PR open
+  unclaimed, open PR (itself or a closer)     Todo | In Progress  → PR open
   unclaimed, no open PR                       In Progress         → Todo

A pull request that was just opened may not be on the board yet, so on opened and reopened the Action looks for its card again after 30 seconds. workflow_dispatch now also accepts a pull request number.

Evidence

Execution evidence

I extracted the step's script and ran it against live data with the mutation stubbed out.

• Before: PR Spec: record host Suspended time, and keep it out of stage health and Usual ranges #2053 had in-progress but stayed in Todo, because the Action only synced issues.
  After:

  == sim claimed PR #2120 (card in Todo)        → Moved #2120 to In Progress.
  == sim unclaimed PR #2053 (card In Progress)  → Moved #2053 to PR open.
  == #2120 opened (real state)                  → Moved #2120 to PR open.
                                                  #2090 is closed; no change.
  == #2053 labeled (since closed)               → #2053 is closed; no change.
  == sim unclaimed issue #228 (In Progress)     → Moved #228 to Todo.
  

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. Existing open pull request cards in Todo move to PR open the next time they are edited or labelled. Revert to undo.