gh merge is a GitHub CLI extension to squash and merge PRs. The commit
message will be the PR description followed by the list of commits.
Make sure you have gh and git installed. Then run:
$ gh extension install leofeyer/gh-merge$ gh merge 1234If you are on a branch that you have checked out with gh pr checkout 1234,
you can omit the PR number:
$ gh merge