git_merge
Merge a specified source branch into the current branch of a Git repository. Use this to integrate changes from one branch into another, facilitating collaborative development workflows.
Instructions
Merge a branch into current branch
Input Schema
Name | Required | Description | Default |
---|---|---|---|
path | Yes | Repository path | |
source_branch | Yes | Source branch to merge |
Input Schema (JSON Schema)
{
"properties": {
"path": {
"description": "Repository path",
"type": "string"
},
"source_branch": {
"description": "Source branch to merge",
"type": "string"
}
},
"required": [
"path",
"source_branch"
],
"type": "object"
}