Skip to content

docs(agents): rebase onto main and run fork-check before pushing - #600

Merged
lukemaj merged 1 commit into
mainfrom
docs/agents-fork-check
Oct 20, 2026
Merged

lukemaj merged 1 commit into
mainfrom
docs/agents-fork-check

Conversation

@lukemaj

@lukemaj lukemaj commented Oct 20, 2026

Copy link
Copy Markdown
Contributor

What: AGENTS.md now tells agents to update branches from main by rebasing and to run scripts/fork-check.sh before pushing.
Why: The rule lived only in docs/fork.md, so agents merged main into branches or pushed unregistered upstream edits and CI's Fork Stack Model check failed (PR #584's first head, PR #591).
So what: The user approved this exact line on 2026-10-20; the planner merges it once CI is green.

Problem

scripts/fork-check.sh rejects merge commits in the fork stack and upstream files changed without registration, but AGENTS.md never pointed agents at it, so the failure only showed up in CI after a push.

Change

One line in AGENTS.md "Pull requests", linking docs/fork.md.

Verification

bash scripts/fork-check.sh --upstream upstream on this branch: fork-check: OK.

Independent review exemption: this slice is solely a user-approved prose line (approved in the planner thread on 2026-10-20); self-review and fork-check applied.

Elon record

Requirements and who asked: User approved adding this line; observed CI failures on #584 and #591.
Deleted: Restating fork.md's rules in AGENTS.md.
Bottleneck: Agents discovering the fork-check rule before pushing.
Checked myself: Ran fork-check on this branch; read the two failing CI logs.

Model and harness: Claude Opus 5.5 via Claude Code in T3 Code.

🤖 Generated with Claude Code

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@github-actions github-actions Bot added vouch:trusted PR author is trusted by repo permissions or the VOUCHED list. size:XS labels Oct 20, 2026
@lukemaj
lukemaj merged commit ac1a194 into main Oct 20, 2026
17 checks passed
@lukemaj
lukemaj deleted the docs/agents-fork-check branch October 20, 2026 18:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size:XS vouch:trusted PR author is trusted by repo permissions or the VOUCHED list.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant