docs: add editor settings page for AI and publishing

[mintlify]

Summary

Documents the editor's new per-user AI instructions and per-deployment publishing settings (commit instructions, pull request instructions, draft pull requests by default, default merge method) that the editor now applies when generating commits, opening pull requests, and running AI edit and agent actions.

Changes

• Added editor/settings.mdx covering:
  • AI instructions — user-scoped guidance applied to Edit with AI and agent sessions.
  • Commit message instructions — guidance for AI-generated commit messages.
  • Pull request instructions — guidance for AI-generated PR titles and descriptions.
  • Create pull requests as drafts by default — opens new editor PRs in draft state.
  • Default merge method — choose merge, squash, or rebase for Merge and publish.
• Added the new page to the Editor group in docs.json.

Context

Triggered by the upstream change that wires the editor's settings into AI edits, agent sessions, commit message generation, pull request metadata generation, draft PR creation, and merge-and-publish.

---

Note

Low Risk
Low risk: documentation-only additions plus navigation updates; no runtime behavior or security-sensitive logic changes.

Overview
Documents the editor’s Settings capabilities by adding a new editor/settings.mdx page (and es/fr translations) covering per-user AI instructions and per-deployment publishing behavior (commit/PR guidance, draft PR default, and merge method).

Updates docs.json, es.json, and fr.json navigation to include the new Editor settings page in the Editor section.

^{Reviewed by Cursor Bugbot for commit 89c17a9. Bugbot is set up for automated code reviews on this repo. Configure here.}

[mintlify]

Preview deployment for your docs. Learn more about Mintlify Previews.

Project	Status	Preview	Updated (UTC)
mintlify	🟢 Ready	View Preview	May 14, 2026, 9:13 PM