github_delete_release
Delete a GitHub release by its release ID, preserving the associated tag. Provide owner, repository name, and release ID to remove unwanted releases while keeping the tag intact.
Instructions
Delete a release (the tag is NOT deleted).
Args: owner: Repository owner repo: Repository name release_id: Release ID to delete session_name: GitHub session to use
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| release_id | Yes | ||
| session_name | No | default |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |