Github Update Release
github_update_releaseUpdate a published GitHub release by changing only supplied fields, so you can fix a title or notes without losing other release data.
Instructions
Changes a published release in place. Only the fields supplied are sent, so correcting a title does not wipe the notes. make_latest is settable on github_create_release alone, and only on the call that first publishes the tag, since publishing again falls through to here and this tool does not send it. Move the latest badge by deleting the release and publishing it again, or in the GitHub UI.
Workflow and conventions: github_get_skill('release-management').
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | No | Replacement notes. Omit to leave them alone | |
| name | No | Replacement title. Omit to leave it alone | |
| draft | No | ||
| tag_name | Yes | Tag of the release to change | |
| repo_name | Yes | ||
| prerelease | No | ||
| repo_owner | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||