push_git_tag
Push a specified tag directly to a Git repository's default remote using the Git MCP server. Simplifies tag management by automating the process and returning operation details.
Instructions
Push a git tag to the default remote
Input Schema
Name | Required | Description | Default |
---|---|---|---|
repo_name | Yes | ||
tag_name | Yes |