{"command":{"effect":"write","timeoutSeconds":30,"inputSchema":{"type":"object","description":"","properties":{"path":{"type":"object","properties":{"owner":{"type":"string","description":"The account owner of the repository. The name is not case sensitive."},"repo":{"type":"string","description":"The name of the repository without the `.git` extension. The name is not case sensitive."}},"required":["owner","repo"],"additionalProperties":false},"body":{"type":"object","properties":{"base":{"type":"string","description":"The name of the base branch that the head will be merged into."},"head":{"type":"string","description":"The head to merge. This can be a branch name or a commit SHA1."},"commit_message":{"type":"string","description":"Commit message to use for the merge commit. If omitted, a default message will be used."}},"required":["base","head"],"examples":[{"base":"master","head":"cool_feature","commit_message":"Shipped cool_feature!"}]}},"required":["path","body"],"additionalProperties":false},"name":"Merge a branch","id":"github.repos.merge","example":{"path":{"owner":"octocat","repo":"hello-world"},"body":{"base":"master","head":"cool_feature","commit_message":"Shipped cool_feature!"}},"maxRequests":1,"summary":false}}