Skip to content

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
Merged

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
os-zhuang merged 3 commits into
mainfrom
claude/issue-15871-agents-merge-tree-corollary

docs(agents): re-typeset the merge-tree corollary rules-only and rais…

f0e9c4c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar