Skip to content

Catch nested server.json publish PRs and clarify publishing guidance - #1702

Merged
rdimitrov merged 4 commits into
mainfrom
codex/match-nested-server-json-publish-prs
Oct 11, 2026
Merged

Catch nested server.json publish PRs and clarify publishing guidance#1702
rdimitrov merged 4 commits into
mainfrom
codex/match-nested-server-json-publish-prs

Alias AGENTS.md to shared Claude guidance

16fa02f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar