Skip to content

chore: capture five more findings from the 2026-10-11 drain - #925

Merged
REPPL merged 22 commits into
mainfrom
chore/records-drain-2026-10-11
Oct 11, 2026
Merged

REPPL merged 22 commits into
mainfrom
chore/records-drain-2026-10-11

Conversation

@REPPL

@REPPL REPPL commented Oct 11, 2026

Copy link
Copy Markdown
Collaborator

Five more findings met while driving the 2026-10-11 issue drain, captured to the open ledger, plus one sharpened remedy on an earlier capture. Records only; no code.

This branch is stacked on #903 (it carries #903's commits until that merges), so merge #903 first.

  • iss-2610110253059544: gitutil's one-time git version probe runs with no deadline, so a hung git hangs the status line and leaves a process per refresh.
  • iss-2610110359273529: the surprise, admission, disposition and reframe records redraw a minted id only on an own-process clash, unlike the issue and reading-item allocators.
  • iss-2610110401224302: a lane's pull request can leave the merge queue silently, and its auto-merge falls off with it.
  • iss-2610110432159652: the guard's question check fails open silently when git cannot name the repository root.
  • iss-2610110613372021: superseded merge-group CI runs keep holding runners after the queue rebuilds its groups.
  • iss-2610102020442624 (from chore: capture thirteen findings from the 2026-10-10 drain #903): remedy widened with a load-derived go test -p.

Refs: iss-2610102020442624
Refs: iss-2610110253059544
Refs: iss-2610110359273529
Refs: iss-2610110401224302
Refs: iss-2610110432159652
Refs: iss-2610110613372021
Assisted-by: Claude:claude-opus-5-5

REPPL added 22 commits October 10, 2026 17:17
…e 2026-10-10 drain

Assisted-by: Claude:claude-opus-5-5
…er another id

Assisted-by: Claude:claude-opus-5-5
…G and commit-msg

Assisted-by: Claude:claude-opus-5-5
…er cap

Refs: iss-2610101617043118, iss-2610101617040184, iss-2610101659347329, iss-2610101803326081, iss-2610101900387053, iss-2610101903385281, iss-2610102020442624, iss-2610102020447522, iss-2610102021042657, iss-2610102021189565, iss-2610102142432879, iss-2610102343100369
Assisted-by: Claude:claude-opus-5-5
Assisted-by: Claude:claude-opus-5-5
Assisted-by: Claude:claude-opus-5-5
Refs: iss-2610110401224302
Assisted-by: Claude:claude-opus-5-5
@REPPL
REPPL enabled auto-merge October 11, 2026 07:39
@REPPL
REPPL added this pull request to the merge queue Oct 11, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to invalid changes in the merge commit Oct 11, 2026
@REPPL
REPPL added this pull request to the merge queue Oct 11, 2026
Merged via the queue into main with commit 22492db Oct 11, 2026
13 checks passed
@REPPL
REPPL deleted the chore/records-drain-2026-10-11 branch October 11, 2026 16:18
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