get-pull-request-status
Retrieve the combined status of all checks for a GitHub pull request to verify if it's ready for merge by providing repository owner, name, and PR number.
Instructions
Get the combined status of all status checks for a pull request
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)
{
"properties": {
"owner": {
"description": "Repository owner (username or organization)",
"type": "string"
},
"pull_number": {
"description": "Pull request number",
"type": "number"
},
"repo": {
"description": "Repository name",
"type": "string"
}
},
"required": [
"owner",
"repo",
"pull_number"
],
"type": "object"
}