push_git_tag
Push a specific Git tag to the default remote repository by providing the repository name and tag name as inputs. Simplifies Git tag management within the Git MCP server environment.
Instructions
Push a git tag to the default remote
Input Schema
Name | Required | Description | Default |
---|---|---|---|
repo_name | Yes | ||
tag_name | Yes |