push_git_tag
Push a specified Git tag to the default remote repository. Requires the repository name and tag name to execute the operation, returning status and details about the action.
Instructions
Push a git tag to the default remote
Args:
repo_name: Name of the git repository
tag_name: Name of the tag to push
Returns:
Dictionary containing status and information about the operation
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo_name | Yes | ||
| tag_name | Yes |
Input Schema (JSON Schema)
{
"properties": {
"repo_name": {
"title": "Repo Name",
"type": "string"
},
"tag_name": {
"title": "Tag Name",
"type": "string"
}
},
"required": [
"repo_name",
"tag_name"
],
"title": "push_git_tagArguments",
"type": "object"
}