Repository navigation

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