Merge pull request
pr_mergeMerge a Lizard Git pull request using merge, squash, or rebase. Moves the base branch, which can start CI or a deploy, so get the user's go-ahead first.
Instructions
Merge a Lizard Git pull request: method merge (default), squash or rebase; deleteBranch removes the head branch afterwards. The base branch moves, which can start a deploy or CI. Get the user's go-ahead first.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Lizard Git repository as "owner/name" (repo_list) | |
| method | No | ||
| number | Yes | ||
| message | No | ||
| deleteBranch | No |