git_delete_branch
Delete specified Git branches from local repositories using repository path and branch name; optionally force deletion for unmerged branches.
Instructions
Delete a branch from the repository.
Input Schema
Name | Required | Description | Default |
---|---|---|---|
branch_name | Yes | The name of the branch to delete | |
force | No | Whether to force deletion | |
repo_path | Yes | The path to the local Git repository |
Input Schema (JSON Schema)
{
"properties": {
"branch_name": {
"description": "The name of the branch to delete",
"type": "string"
},
"force": {
"default": false,
"description": "Whether to force deletion",
"type": "boolean"
},
"repo_path": {
"description": "The path to the local Git repository",
"type": "string"
}
},
"required": [
"repo_path",
"branch_name"
],
"type": "object"
}