Skip to content

docs: record that master is PR-protected in AGENTS.md - #2386

Open
just-jeb wants to merge 1 commit into
masterfrom
docs/agents-master-is-pr-protected
Open

docs: record that master is PR-protected in AGENTS.md#2386
just-jeb wants to merge 1 commit into
masterfrom
docs/agents-master-is-pr-protected

Commits

Commits on Aug 11, 2026