Github Delete Tag
github_delete_tagDelete a Git tag from a GitHub repository. Use force to remove a tag that a release points to, preventing release corruption.
Instructions
Deletes a tag. A tag a release points at is refused unless force is set, because removing it leaves the release without the code it names.
Workflow and conventions: github_get_skill('release-management').
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| force | No | Delete the tag even though a release was published from it | |
| tag_name | Yes | ||
| repo_name | Yes | ||
| repo_owner | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||