Github Delete Release
github_delete_releaseDelete a GitHub release while preserving the tag, or remove both the release and its tag to fully clean up the repository.
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.
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 | |||