get_pr_comments
Fetch detailed GitHub pull request comments, including file paths, line ranges, and replies, for efficient code review and collaboration.
Input Schema
| Name | Required | Description | Default | 
|---|---|---|---|
| owner | Yes | Repository owner (username or organization) | |
| pull_number | Yes | Pull request number | |
| repo | Yes | Repository name | 
Input Schema (JSON Schema)
{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "additionalProperties": false,
  "properties": {
    "owner": {
      "description": "Repository owner (username or organization)",
      "minLength": 1,
      "type": "string"
    },
    "pull_number": {
      "description": "Pull request number",
      "exclusiveMinimum": 0,
      "type": "integer"
    },
    "repo": {
      "description": "Repository name",
      "minLength": 1,
      "type": "string"
    }
  },
  "required": [
    "owner",
    "repo",
    "pull_number"
  ],
  "type": "object"
}