Merge the specified pull request, interactively

Merge GitHub pull requests.
More information: <https://cli.github.com/manual/gh_pr_merge>.
Trick copyright: tl;dr; <https://github.com/tldr-pages/tldr>

gh pr merge {{pr_number}}

click the source code to copy install gh pr merge on any operating system with command-not-found.com