update_pr_status
Update a GitHub pull request with CI results or process updates, keeping stakeholders informed and reducing context switching.
Instructions
Updates a pull request with CI results or other process updates.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| message | Yes | ||
| pull_number | Yes |