Document @mintlify GitHub PR comment feature

ai/agent.mdx

@@ -39,7 +39,7 @@
 You can also use the agent in Slack to collaborate with your team on documentation updates.
 
 <Note>
   If your Slack Workspace Owner requires admin approval to install apps, ask them to approve the Mintlify app before you connect it.
 </Note>
 
 1. Open the agent panel in your dashboard. 
@@ -55,6 +55,28 @@
    - Send a direct message to it.
    - Mention it with `@mintlify` in a channel.
 
+## Use the agent on GitHub pull requests
+
+The agent can respond to comments on pull requests in your documentation repository. When you mention `@mintlify` in a pull request comment or review comment, the agent processes your request and pushes updates directly to the pull request branch.
+
+<Note>
+  The agent only responds to `@mintlify` mentions on pull requests in repositories connected to your Mintlify project through the GitHub App.
+</Note>
+
+To use the agent on a pull request:
+
+1. Open a pull request in your documentation repository.
+2. Add a comment or review comment that includes `@mintlify` followed by your request.
+3. The agent processes your request and pushes changes to the pull request branch.
+
+Examples:
+
+- `@mintlify Fix the typo in the authentication section`
+- `@mintlify Add a code example for the new API endpoint`
+- `@mintlify Update this section to clarify the installation steps`
+
+The agent reacts with 👀 while processing your request and ✅ when complete.
+
 ## Connect repositories as context
 
 The agent can only access repositories that you connect through the Mintlify GitHub App. Configure which repositories the agent can access in the agent panel **Settings** or in the [GitHub App settings](https://github.com/apps/mintlify/installations/new).

api/agent/create-agent-job.mdx

@@ -5,8 +5,10 @@
 
 This endpoint creates an agent job based on provided messages and branch information. The job executes asynchronously and returns a streaming response with the execution details and results.
 
 If a branch doesn't exist, the agent creates one. If files are edited successfully, a draft pull request is automatically created at the end of the job.
 
+The agent can be triggered from multiple sources including the dashboard, Slack, GitHub pull request comments, or direct API calls. When triggered from GitHub pull requests via `@mintlify` mentions, the `source` field is automatically set to `github`.
+
 ## Rate limits
 
 The agent API has the following limits:

deploy/github.mdx

@@ -6,7 +6,7 @@
 
 Mintlify uses a GitHub App to automatically sync your documentation with your GitHub repository.
 
 ## Installing the GitHub App
 
 <Note>
   You must have organization ownership or administrator permissions in a repository to install the app. If you lack the necessary permissions, the repository owner must approve the installation request.
@@ -15,7 +15,7 @@
 Install the Mintlify GitHub App through your [dashboard](https://dashboard.mintlify.com/settings/organization/github-app).
 
 <Tip>
 We recommend granting access only to the repository where your docs are hosted.
 </Tip>
 
 <Frame>
@@ -24,7 +24,7 @@
 
 ## Permissions
 
 When you install the GitHub app, you will be prompted to grant the following permissions:
 
 Read permissions:
 * `metadata`: Basic repository information
@@ -34,6 +34,8 @@
 * `code`: Read file changes when you commit to your docs branch
 * `deployments`: Generate preview deployments for pull requests
 * `pull requests`: Create branches and pull requests from the web editor
+* `issue comments`: Respond to `@mintlify` mentions in pull request comments
+* `pull request review comments`: Respond to `@mintlify` mentions in pull request review comments
 
 <Info>
 The app only accesses repositories that you explicitly grant it access to. If you have branch protection rules enabled, the app can't push directly to protected branches.
@@ -41,15 +43,15 @@
 
 ## Managing repository access
 
 When installing our GitHub App, you can grant access to all of your repositories or specific ones. We recommend only granting access to the repositories where your documentation is located. You can modify this selection anytime in your [GitHub app settings](https://github.com/apps/mintlify/installations/new).
 
 ## Configuring docs source
 
 Change the organization, repository, or branch that your documentation is built from in the [Git Settings](https://dashboard.mintlify.com/settings/deployment/git-settings) section of your dashboard.
 
 ## GitHub Enterprise with IP allowlists
 
 If your GitHub Enterprise Cloud organization has an IP allowlist enabled, you need to add Mintlify's egress IP address (`54.242.90.151`) to your allowlist for the GitHub App to function properly.
 
 Follow [GitHub's documentation](https://docs.github.com/en/enterprise-cloud@latest/organizations/keeping-your-organization-secure/managing-security-settings-for-your-organization/managing-allowed-ip-addresses-for-your-organization) to configure your IP allowlist.
 
@@ -72,14 +74,14 @@
 
 ### Feedback add-ons are unavailable
 
 If you cannot enable the edit suggestions or raise issues options in your dashboard and your repository is public, revalidate your Git settings.
 
 <Steps>
   <Step title="Navigate to Git Settings">
     Go to [Git Settings](https://dashboard.mintlify.com/settings/deployment/git-settings) in your dashboard.
   </Step>
   <Step title="Revalidate your settings">
     Click the green check mark in the corner of the Git settings box to revalidate your repository settings. This will force update your repository settings to reflect whether your repository is public or private.
 
     <Frame>
       <img