gh pr merge

Merge a pull request

Synopsis

Merge a pull request on GitHub.

By default, the head branch of the pull request will get deleted on both remote and local repositories. To retain the branch, use ‘–delete-branch=false’.

gh pr merge [<number> | <url> | <branch>] [flags]

Options

  -d, --delete-branch   Delete the local and remote branch after merge (default true)
  -m, --merge           Merge the commits with the base branch
  -r, --rebase          Rebase the commits onto the base branch
  -s, --squash          Squash the commits into one commit and merge it into the base branch

Options inherited from parent commands

      --help              Show help for command
  -R, --repo OWNER/REPO   Select another repository using the OWNER/REPO format