docs(agents): a local `merge-tree` of an os-regen path is not GitHub mergeability — state the corollary and name the sound probe (#15871) - #15885

Merged

os-zhuang merged 3 commits into

mainfrom

claude/issue-15871-agents-merge-tree-corollary

Sep 7, 2026

Commits on Sep 5, 2026

docs(agents): state the corollary that a local `merge-tree` of an os-regen path is not GitHub mergeability, and name the sound probe (#15871)
claude
committed
ca2088e

Commits on Sep 7, 2026

Merge branch 'main' into claude/issue-15871-agents-merge-tree-corollary
claude
committed
f171510
docs(agents): re-typeset the merge-tree corollary rules-only and raise the AGENTS.md ceiling 1058 -> 1068 (ruled)
claude
committed
f0e9c4c