Document GitHub PR agent integration

[handotdev]

This PR documents the new GitHub integration feature that allows users to mention @mintlify in pull request comments on any repository to create documentation updates. The agent now uses AI to automatically select the correct documentation deployment, eliminating the need to manually specify subdomains in most cases.

Files changed

• ai/agent.mdx: Added section on using the agent in GitHub pull requests and updated subdomain specification guidance
• deploy/github.mdx: Added note about agent responding to @mintlify mentions and updated repository access recommendations

Generated from feature: @mintlify on non docs prs @cdxker

---

Note

Documents using @mintlify in GitHub PR comments to create docs updates and updates GitHub App guidance to enable and scope repository access.

• Agent docs (ai/agent.mdx):
  • GitHub PR workflow: Add section on mentioning @mintlify in PR comments/reviews to create/update docs PRs, with automatic deployment selection and threaded context.
  • Domain selection: Update guidance to prefer AI auto-selection; subdomain is optional for explicit targeting.
• GitHub integration (deploy/github.mdx):
  • App capability: Note that the GitHub App enables agent responses to @mintlify mentions in PR comments across repositories.
  • Repository access: Revise recommendations to grant access to the docs repo, PR-comment target repos, and context repos.

^{Written by Cursor Bugbot for commit 1b08629. This will update automatically on new commits. Configure here.}