Reopen a GitHub pull request
github_pr_reopenReopen a closed pull request and optionally post a comment as it reopens, notifying followers. Merged pull requests cannot be reopened; already-open ones are left unchanged.
Instructions
Reopen a closed pull request; the comment, if any, is posted as it reopens, and the people following the pull request are notified. A merged pull request cannot be reopened. A pull request that is open already is left as it is: nothing is sent, the comment is not posted and changed is false. A pull request is 12, #12, owner/repo#12 or its URL; a bare number means the working tree's repository, or repo.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pr | Yes | The pull request, as 12, #12, owner/repo#12 or its URL. | |
| repo | No | owner/name; defaults to the working tree's repository (its origin). Used for a bare number. | |
| comment | No | A comment to post as the pull request reopens. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pr | Yes | ||
| url | Yes | ||
| repo | Yes | ||
| state | Yes | The pull request's state now: open. | |
| changed | Yes | False when the pull request was open already and nothing was sent. | |
| foreign | Yes |