github.resolve_pr
Extracts owner, repository, and pull request number from a given PR ID to enable precise code review workflows in GitHub via the Code Review MCP server.
Instructions
Resolve owner/repo and PR number from an input
Input Schema
Name | Required | Description | Default |
---|---|---|---|
options | No | ||
prId | Yes |
Input Schema (JSON Schema)
{
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"options": {
"type": "string"
},
"prId": {
"type": "string"
}
},
"required": [
"prId"
],
"type": "object"
}