Skip to content

Clarify PR defaults in AGENTS.md#1303

Merged
cristianrgreco merged 2 commits intomainfrom
codex/agents-pr-defaults
Apr 20, 2026
Merged

Clarify PR defaults in AGENTS.md#1303
cristianrgreco merged 2 commits intomainfrom
codex/agents-pr-defaults

Commits

Commits on Apr 20, 2026