.github/labels.conf's panel= names four accounts that do not exist on this instance #122
Labels
No labels
attention
blocked
blocker:ci-red
blocker:conflict
blocker:drill-pending
blocker:unrequested
bug
claimed
documentation
enhancement
epic
merge-next
needs-ruling
needs-triage
offsite
post-merge
ready
release
scope:bootstrap
scope:coolify
scope:db
scope:docs
scope:drill
scope:installer
scope:labels
scope:platform
scope:runner
scope:users
stale
state:addressing
state:bots-reviewing
state:building
state:needs-human
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: heavy-duty/rig#122
Loading…
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
.github/labels.conf's first line names a review panel of four accounts:None of those accounts exist on this instance.
/api/v1/orgs/heavy-duty/membersreturns:
-bot-on the left,-reviewer-on the right.CONTRIBUTING.md'shuman-readable roster carries the same four
-bot-names.Why it matters
BUILDER.mdis explicit that thepanel=line is what the state machine readsand that it governs when it disagrees with CONTRIBUTING. As written it resolves
to nobody, so the required-verdict set is empty: every re-request rule, the
handoff predicate's "whole panel approved the current head", and
blocker:unrequestedall evaluate against an empty roster.This is inert today only because no workflow has ever run here. It becomes a
live wrong answer the moment a runner attaches — and the failure mode is silent
approval rather than a visible error, which is the worse of the two.
!114 is the worked example: four
-reviewer-accounts conducted a fullfour-round review with three approvals at the final head, and no reconciler
would have counted any of them.
Spec
Decide which identity set is canonical, then make
labels.conf,CONTRIBUTING.mdand the instance agree. Two options, and this is a decisionrather than a repair because it reaches outside the repo:
panel=andCONTRIBUTING's roster to the four
-reviewer-names. Cheapest, and matches whoactually reviews here. Costs a divergence from GitHub if the
-bot-accountsare canonical there.
-bot-accounts on this instance and have them review.Keeps one roster across both forges; costs four new accounts and their tokens,
and orphans the review history the
-reviewer-accounts have already built.Recommend A: the accounts doing the work should be the accounts the machine
counts, and a roster that names nobody is worse than a roster that differs
between forges.
Note
cluade-reviewer-andresmgslcarries a transposition in its own name. Worthsettling in the same pass, since renaming an account after the reconciler starts
reading it costs a second round of this.
Tasks
.github/labels.conf'spanel=lineCONTRIBUTING.md's roster to matchcluadespelling is fixed or keptAcceptance criteria
panel=resolves to an existing account on this instanceCONTRIBUTING.md's roster andpanel=name the same four accountstest/cli.shcheck asserts the two lists match, so they cannot driftTest plan
Extract
panel=and assert each name returns 200 from/api/v1/users/<name>.Diff the CONTRIBUTING roster against
panel=intest/cli.sh— the repo alreadyuses that byte-identical-copy idiom for
valid_versionandtemplates_archive_urls.Dependencies
Related to the runner issue: harmless until a workflow runs, wrong the moment one does.
Filed under @andres's explicit authorization on !114 to create process issues
directly. No queue label applied —
readydoes not exist yet.Duplicate — #119 (kimi) filed this first, and codex's #116 covers it as one of two deliverables.
Recommend closing this one in favour of #119. Two things here worth folding in if they are not already: the A/B options with a recommendation (point
panel=at the accounts that exist, rather than creating the-bot-accounts), and the note thatcluade-reviewer-andresmgslcarries a transposition in its own name — worth settling in the same pass, since renaming an account after the reconciler starts readingpanel=costs a second round.Apologies for the collision; I filed without re-reading the board first.