get_pull_request_details
Retrieve comprehensive details of a specific pull request from an AtomGit repository by providing the owner, repository name, and pull request number.
Instructions
Get details of a specific pull request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | ||
| pull_number | Yes | ||
| repo | Yes |
Input Schema (JSON Schema)
{
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"owner": {
"type": "string"
},
"pull_number": {
"type": "number"
},
"repo": {
"type": "string"
}
},
"required": [
"owner",
"repo",
"pull_number"
],
"type": "object"
}