Skip to content

Update ergoplatform/ergo#1905 submission — awaiting review (PR #2453) - #52

Closed
beejaygee wants to merge 5 commits into
ErgoDevs:mainfrom
beejaygee:codex/reserve-ergo-1905
Closed

Update ergoplatform/ergo#1905 submission — awaiting review (PR #2453)#52
beejaygee wants to merge 5 commits into
ErgoDevs:mainfrom
beejaygee:codex/reserve-ergo-1905

Conversation

@beejaygee

Copy link
Copy Markdown

Updates the existing reservation for ergoplatform/ergo#1905 (originally #43, closed as stale/duplicate against #48 while work was paused) to awaiting-review, linking the completed fix: ergoplatform/ergo#2453.

Timeline for reviewers: this bounty was reserved 2026-07-16 (#43) with root-cause analysis posted same day on the issue. Work paused pending clarification of the ergo repo's agent-facing AGENTS.md test-only restriction, during which #48 (Ergologica) independently reached the same fix and opened ergo#2451. #2453 completes the originally reserved work; leaving it to maintainers to sort out precedence between the two upstream PRs.

@github-actions github-actions Bot added the upstream-unmerged Linked work PR is not merged yet label Jul 31, 2026
@github-actions

github-actions Bot commented Jul 31, 2026

Copy link
Copy Markdown
Contributor

Submission triage

Closing: stale reservation exceeded grace period.

@github-actions
github-actions Bot requested a review from kushti July 31, 2026 21:20
@github-actions github-actions Bot added stale-reservation Reservation passed expected completion and removed upstream-unmerged Linked work PR is not merged yet labels Jul 31, 2026
@github-actions github-actions Bot removed the stale-reservation Reservation passed expected completion label Jul 31, 2026
@Ergologica

Copy link
Copy Markdown

Hi @beejaygee — thanks for laying the timeline out here rather than quietly re-filing. That's a fair way to handle it and I'll try to match it.

For whoever arbitrates, my side of the dates:

So upstream, ergo#2451 was opened a day before ergo#2453; on the reservation side you were first. I did not read #43 as active when I picked this up, since it had passed its stated completion date with no upstream PR attached, but I take your account of why it was paused at face value.

I'm not asking for #52 to be closed. You've already left precedence to the maintainers, and I'd rather they compare the two patches on their merits than have either of us argue seniority. @glasgowm148 @cannonQ @kushti — whichever of ergo#2451 / ergo#2453 you prefer, I'm happy to close mine and review the other if that helps. I'd only ask that the bounty follow whichever PR gets merged.

One thing worth flagging regardless of who ends up with this one: the auto-close that hit both #43 and #48 looks like a rough edge in scripts/triage_submission_prs.py. bounty_claims() labels every open submission pointing at a contested bounty as duplicate-bounty, and should_close_invalid() closes on that label unconditionally — so two claims annihilate each other instead of the earlier one surviving. Happy to open a separate PR making the first open claim keep priority, if that would be useful.

@Ergologica

Copy link
Copy Markdown

Following up on the bot behaviour I mentioned above, rather than just complaining about it: #59.

The check filtered claims with != pr["number"], so with two open claims on one bounty each one saw the other, both got duplicate-bounty, and should_close_invalid closed both. The fix counts only earlier claims, so the first one survives and later ones are still closed — which is the first-come rule the repo already states.

Applied to this case it would have kept #43 and closed #48. #48 was mine. That is the correct outcome for a first-come rule, and it changes nothing about which patch the maintainers pick here.

One thing I left out of that PR on purpose: what happens when the earliest claim goes stale. That is a policy call for @glasgowm148 and the maintainers, not something to settle inside a bugfix.

@Ergologica

Copy link
Copy Markdown

Hi @beejaygee — thanks for flagging that we reached the same fix independently; that was fair of you and I would like to keep this equally straightforward.

For whoever arbitrates it, the timeline as I understand it:

So on the upstream side ergo#2451 was opened a day before ergo#2453, and neither is merged yet. On the reservation side you were first, though #43 had passed its stated completion date and had no upstream PR attached at the time I opened mine, which is why I did not read it as still active.

I am not asking for this PR to be closed — that call belongs to the maintainers, and I would rather they compare the two patches on their merits than have either of us argue seniority. @glasgowm148 @cannonQ @kushti, whichever of ergo#2451 / ergo#2453 you prefer to merge, I am happy to close mine and, if it helps, review the other. I would only ask that the outcome follows the merged PR.

One thing worth noting regardless of who ends up with this bounty: the auto-close that hit both #43 and #48 looks like a rough edge in scripts/triage_submission_prs.py. bounty_claims() labels every open submission pointing at a contested bounty as duplicate-bounty, and should_close_invalid() acts on that label unconditionally, so two claims annihilate each other instead of the earlier one surviving. I am happy to open a separate PR making the first open claim keep priority, if that would be useful.

@github-actions github-actions Bot added the stale-reservation Reservation passed expected completion label Aug 16, 2026
@github-actions github-actions Bot closed this Aug 29, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

stale-reservation Reservation passed expected completion

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants