{ "$schema": "https://json-schema.org/draft/2020-12/schema", "title": "pullrequest_merge_parameters", "type": "object", "description": "The metadata that describes a pull request merge.", "properties": { "type": { "type": "string" }, "message": { "type": "string", "description": "The commit message that will be used on the resulting commit." }, "close_source_branch": { "type": "boolean", "description": "Whether the source branch should be deleted. If this is not provided, we fallback to the value used when the pull request was created, which defaults to False" }, "merge_strategy": { "type": "string", "description": "The merge strategy that will be used to merge the pull request." } } }