Document GitHub PR agent integration

[handotdev]

Added documentation for the new @mintlify GitHub PR integration that allows users to mention the agent in any pull request to create documentation updates. Updated agent deployment selection behavior to reflect automatic intelligent selection instead of requiring manual subdomain specification.

Files changed:

• ai/agent.mdx - Added GitHub PR integration section and updated deployment selection documentation
• deploy/github.mdx - Added agent mention capability and repository access guidance

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

---

Note

Documents @mintlify mentions on GitHub PRs and updates deployment selection behavior and GitHub App repository access guidance.

• Agent docs (ai/agent.mdx):
  • Add section on using @mintlify in GitHub PR comments to generate documentation updates, with usage steps and examples.
  • Update multi-site behavior: agent now auto-selects the correct deployment; subdomain parameter is optional for explicit targeting.
• GitHub integration (deploy/github.mdx):
  • Expand repository access guidance to enable @mintlify mentions across repos; agent creates docs updates in the designated docs repository.
  • Clarify that repository access can be modified in GitHub App settings.

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