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"
}