diff --git a/AGENTS.md b/AGENTS.md
index 008396d..5c287fe 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -89,7 +89,7 @@ Obey these rules:
 4. Keep the build green on the branch.
 5. Request a review before a merge.
 6. Do not merge your own feature without a review.
-7. Merge to `master` only after the review passes.
+7. Merge to `develop` only after the review passes.
 8. Delete the feature branch after the merge.
 
 `master` must always build. `master` must always pass the tests.