gh pr merge
Merge GitHub pull requests.
=> More information.
- Merge the pull request associated with the current branch interactively:
gh pr merge
- Merge the specified pull request, interactively:
gh pr merge {pr_number}
- Merge the pull request, removing the branch on both the local and the remote:
gh pr merge --delete-branch
- Merge the current pull request with the specified merge strategy:
gh pr merge --{merge|squash|rebase}
- Merge the current pull request with the specified merge strategy and commit message:
gh pr merge --{merge|squash|rebase} --subject {commit_message}
- Squash the current pull request into one commit with the message body and merge:
gh pr merge --squash --body="{commit_message_body}"
gh pr merge --help
Copyright © 2014—present the tldr-pages team and contributors.
This work is licensed under the Creative Commons Attribution 4.0 International License (CC-BY).
=> CC-BY
Proxy Information
- Original URL
- gemini://freeshell.de/tldr/gh-pr-merge.gmi
- Status Code
- Success (20)
- Meta
text/gemini;lang=en-GB
- Capsule Response Time
- 103.368544 milliseconds
- Gemini-to-HTML Time
- 0.429584 milliseconds
This content has been proxied by September (ba2dc).