Say how to keep a PR off main, not just that it belongs on development
AGENTS.md already said every pull request targets development. PR #65 went to main anyway, and the reason is mechanical: the repository's default branch is main, so gh pr create and the web form both pre-select it. A rule that a tool silently defaults away from needs the countermeasure written next to it. The pull request target section now carries the base flag to pass, the command to confirm it took, and the repair — free before the merge, hand-carried work after, since main then holds a change that development, which the next release is cut from, does not. The release skill gains the matching invariant from the other side: step 4 of the release flow is the only way commits are meant to reach main. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>