-- Leo's gemini proxy
-- Connecting to freeshell.de:1965...
-- Connected
-- Sending request
-- Meta line: 20 text/gemini;lang=en-GB
> Merge GitHub pull requests.
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}"
Display help:
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).
-- Response ended
-- Page fetched on Fri May 17 00:29:24 2024