Skip to content

fix(ci): land.sh never leaves auto-merge on a PR it stops landing - #336

Merged
DrunkOnJava merged 3 commits into
mainfrom
fix/land-new-thread
Oct 26, 2026
Merged

DrunkOnJava merged 3 commits into
mainfrom
fix/land-new-thread

Conversation

@DrunkOnJava

@DrunkOnJava DrunkOnJava commented Oct 26, 2026 •

Copy link
Copy Markdown
Owner

Summary

land.sh turns squash auto-merge on once Corpus is green, then waits. Several ways out of that wait either stalled the train or left auto-merge on a PR the train had moved past. Each is fixed here, and every unsuccessful exit after auto-merge went on now turns it off:

  • A review thread opened after auto-merge went on (fix(entities): read TEXT, ATTRIB and ATTDEF as §20.4.3-§20.4.5 print them on every release (#226, #62) #258, 12:37 PM): the ruleset holds the PR, and the loop never checked threads, so the train would have waited out its 2.5-hour deadline. The loop now checks the unresolved count each minute. On any positive count it turns auto-merge off and exits 2. A failed or non-numeric query counts as none, so a transient API error can't hand a PR back.
  • Timeout (exit 3) and a failing check (exit 1) left auto-merge on, so the abandoned PR could merge while the train refreshed the next one (feat(tools): a merge train that lands queued decoder PRs one at a time #298 review threads).
  • BEHIND under strict up-to-date: a dry refresh that finds the generated files still valid re-enables auto-merge without pushing. Once strict is restored after the drain, such a branch never merges. It now exits 8, and the train runs a real refresh that pushes main in. With strict off (today), GitHub never reports BEHIND, so nothing changes now.

Spec reference

None; repository tooling (merge train, #298).

Test plan

Source-provenance declaration

Written for this repository; no external source consulted.

…o-merge

The ruleset holds a PR with an unresolved thread, and land.sh's wait loop
only watched for merge, DIRTY, a moved main and failing checks, so a thread
the reviewer opened after auto-merge went on (#258, 2026-10-26) stalled the
train until the deadline. The loop now turns auto-merge off and exits 2 on a
positive unresolved count; a failed query counts as none.
@DrunkOnJava
DrunkOnJava enabled auto-merge (squash) October 26, 2026 17:05
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 26, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-26T17:07:02.641926Z 7e60243 PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 7e6024334e

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread tools/maintainer/train/land.sh Resolved
@DrunkOnJava
DrunkOnJava disabled auto-merge October 26, 2026 17:55
…ling it

A timeout or a failing check left auto-merge on, so the abandoned PR could
merge while the train refreshed the next one (#298 review). A branch that
strict up-to-date reports BEHIND now exits 8 for a real refresh instead of
waiting out the deadline.
@DrunkOnJava DrunkOnJava changed the title fix(ci): land.sh hands a PR back when a review thread opens after auto-merge fix(ci): land.sh never leaves auto-merge on a PR it stops landing Oct 26, 2026
@DrunkOnJava
DrunkOnJava enabled auto-merge (squash) October 26, 2026 17:56
@DrunkOnJava
DrunkOnJava merged commit 8b05a30 into main Oct 26, 2026
25 checks passed
@DrunkOnJava
DrunkOnJava deleted the fix/land-new-thread branch October 26, 2026 18:11
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