Repository navigation
π github: keep closing keywords on Hive/ClankeR fix PRs - #10826
Conversation
|
[APPROVALNOTIFIER] This PR is NOT APPROVED This pull-request has been approved by: The full list of commands accepted by this bot can be found here. DetailsNeeds approval from an approver in each of these files:Approvers can indicate their approval by writing |
|
Changelog: this PR changes code but carries no changelog entry If it is user-visible β a feature, a fix an operator would notice, a This is a reminder, not a gate; it never blocks a merge. |
Generated by changelog-fragment-guard from the PR title (#5675). Edit the wording freely, or replace this file with the no-changelog label if the change is not user-visible. Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> Signed-off-by: clubanderson <407614+clubanderson@users.noreply.github.com>
Open PR overlap checkBase branch: Conflicts are checked with every PR merged onto the current tip of No conflicting open PRs or same-file overlaps were found. |
Signed-off-by: Andrew Anderson <andy@clubanderson.com>
Generated by changelog-fragment-guard from the PR title (#5675). Edit the wording freely, or replace this file with the no-changelog label if the change is not user-visible. Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> Signed-off-by: clubanderson <407614+clubanderson@users.noreply.github.com>
|
Supersession sweep found that this PR's claimed issue is already closed by another merged PR.
A different merged PR closed the claimed issue. Leaving this contributor PR open for a human to review. This comment is edited in place by the supersession sweep; it is not duplicated. |
|
Thank you for your contribution! Your PR has been merged. We'd love to hear how your experience was: share feedback |
Root cause
There were two related paths that produced non-closing PR bodies:
Closes #Ninsrc/pkg/policies/defaults/scanner-automerge.md:133, butsrc/pkg/github/pr_request_claims.gocalledhumanFiledBugReasonfromvalidatePRRequestClaimsand rewrote human-filed bugCloses/Fixes/Resolves #Nreferences to non-closingRefs #N. This is what happened in π fix(rotation): race-free stale-lock takeover in codex_reset_redeemΒ #10778 (Refs #10774 β closing keyword withheld ... human-filed bug ...). After merge,src/scripts/comment-merged-refs.shposted thehive-post-merge-refs-sweepquestion on π codex_reset_redeem: stale-lock takeover race can redeem twice with different idempotency keysΒ #10774, and then the normal reporter-confirmation gate asked the reporter to confirm anyway.src/pkg/dashboard/contribute_task_prompt.go(artifact trailer instruction introduced in8b267ad2f9) carriedHive-Run/plan/spec trailer guidance but did not include the hosted scanner closing-keyword instruction. Contributor PRs intentionally use rawgh pr createunder the contributor identity, so they also bypassed the hostedhive-open-prbody checks.Maintainer decision for this fix: PR bodies should keep
Closes #N/Fixes #N; reporter confirmation belongs in Hive's issue close/verify path, not in a pre-merge PR-body rewrite that hides GitHub's closing relationship.User-visible impact
Refs #Ndoes more than leave the issue open: GitHub's issue list and issue sidebar show no linked pull request. The maintainer screenshot ofis:issue state:open label:hive/likely-doneshowed #10820, #10795, #10774, and #10773 with no PR link icon despite corresponding merged PRs. Closing keywords (Fixes/Closes/Resolves) on PRs targeting the default branch are what populate GitHub'sclosingIssuesReferences, sidebar link, and issue-list PR icon.Fix
Refs #N; tracker/epic and delegated-work downgrades remain.humanFiledBugReasonforCloseIssue, so reporter-confirmation still leaves human-filed bugs open when needed after merge/direct close.hive-open-pr, labels/control-signal docs, and CONTRIBUTING to describe reporter confirmation as an issue-close gate instead of a PR-body rewrite.Closes #N/Fixes #Nwhen targeting the default branch.gh pr createpost-check inbin/gh-wrapper.sh: when the current task file identifies an issue, the PR targets the default branch (or leaves base implicit), and the body lacks an existing closing keyword, appendCloses #Nwithout duplicating an existingFixes/Closes/Resolvesline.gh pr create.Before/after linkage check
Before, affected PRs had empty
closingIssuesReferences:Known-good PRs with closing keywords populate the same field, which is the expected after-fix behavior for future scanner and ClankeR fix PRs:
Evidence
Refs #10816 ...Refs #10773 ...Refs #10771 ...Refs #10686 ...Fixes #10626[10626]Fixes #10627.[10627]Refs #10774 ... human-filed bug ...Refs #10773 (remaining: #10817, #10818 ...)Closes #10753...Closes #10758Closes #10599[10599]Closes #10682[10682]Validation
gofmt -l src/pkg/github/pr_request_claims.go src/pkg/github/pr_request_claims_test.go src/pkg/dashboard/contribute_task_prompt.go src/pkg/dashboard/contribute_pr_closing_test.gobash -n bin/gh-wrapper.shgit diff --checkAGENTS.mdrequires CI as the test verdict for agents.Fixes #10825