github_get_pr_status
Retrieve the status and check runs for a GitHub pull request by specifying the repository owner, name, and PR number.
Instructions
Get the status and check runs for a pull request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pr_number | Yes | ||
| repo_name | Yes | ||
| repo_owner | Yes |
Input Schema (JSON Schema)
{
"properties": {
"pr_number": {
"title": "Pr Number",
"type": "integer"
},
"repo_name": {
"title": "Repo Name",
"type": "string"
},
"repo_owner": {
"title": "Repo Owner",
"type": "string"
}
},
"required": [
"repo_owner",
"repo_name",
"pr_number"
],
"title": "GitHubGetPRStatus",
"type": "object"
}