Github Delete Release
github_delete_releaseDeletes a GitHub release and optionally its tag, allowing cleanup of published releases without moving commit history.
Instructions
Deletes a release. The tag it was published from survives unless delete_tag asks for it, since the commit history usually should not move.
delete_tag=True removes the ref that the delete_tag tool refuses to touch while a release names it. No force flag is asked for here because the release goes first, so the dangling release that guard protects against cannot be what is left behind. See #404.
Workflow and conventions: github_get_skill('release-management').
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| tag_name | Yes | ||
| repo_name | Yes | ||
| delete_tag | No | Also remove the tag the release was published from, without the delete_tag force check | |
| repo_owner | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||