Skip to content

Move an issue out of In Progress when its Claim ends - #2123

Merged
JacobStephens2 merged 1 commit into
mainfrom
project-status-pr-open
Nov 12, 2026
Merged

JacobStephens2 merged 1 commit into
mainfrom
project-status-pr-open

Conversation

@JacobStephens2

Copy link
Copy Markdown
Owner

Summary

The project board's In Progress column filled up because this Action moved an issue to In Progress when it gained in-progress, but nothing moved it back when the Claim ended. Most of the drift came from a Triage run's few-minute Claim. Project 9's Status field now has a PR open option (ca510e75), and this Action uses it.

 on issues: labeled in-progress
-  Todo → In Progress
+  Todo or PR open → In Progress
+on issues: unlabeled in-progress
+  In Progress → PR open   if an open pull request closes the issue
+  In Progress → Todo      otherwise

Closed issues and other statuses are left alone. The 50 stale In Progress items have already been moved by hand: 48 to Todo and the 2 closed ones to Done.

Evidence

Execution evidence

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

  • Before: none of the old workflow's paths handle unlabeled, so an unclaimed In Progress issue stays there.
    After: I forced claimed=false, current=In Progress:
    sim unclaim #2090  → WOULD-MUTATE / Moved issue #2090 to PR open.
    sim unclaim #228   → WOULD-MUTATE / Moved issue #228 to Todo.
    
    Real state: #2093 → "Claimed issue is not in Todo or PR open; no change." (already In Progress); #228 → "Unclaimed issue 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 only changes the project Status field. If it misbehaves, revert it.

Removing in-progress now moves an In Progress issue to the new PR open
status while an open pull request closes it, otherwise back to Todo, so
In Progress shows only live Claims.
@JacobStephens2
JacobStephens2 merged commit 03e03a8 into main Nov 12, 2026
13 checks passed
@JacobStephens2
JacobStephens2 deleted the project-status-pr-open branch November 12, 2026 15:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant