Github Project Manager

merge_pull_request

Merge a pull request

Input Schema

NameRequiredDescriptionDefault
commit_messageNoExtra detail to append to automatic commit message
commit_titleNoTitle for the automatic commit message
merge_methodNoMerge method to use
ownerYesRepository owner (username or organization)
pull_numberYesPull request number
repoYesRepository name

Input Schema (JSON Schema)

{ "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "commit_message": { "description": "Extra detail to append to automatic commit message", "type": "string" }, "commit_title": { "description": "Title for the automatic commit message", "type": "string" }, "merge_method": { "description": "Merge method to use", "enum": [ "merge", "squash", "rebase" ], "type": "string" }, "owner": { "description": "Repository owner (username or organization)", "type": "string" }, "pull_number": { "description": "Pull request number", "type": "number" }, "repo": { "description": "Repository name", "type": "string" } }, "required": [ "owner", "repo", "pull_number" ], "type": "object" }