-- Leo's gemini proxy

-- Connecting to freeshell.de:1965...

-- Connected

-- Sending request

-- Meta line: 20 text/gemini;lang=en-GB

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}"

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).

CC-BY



-- Response ended

-- Page fetched on Fri May 17 00:29:24 2024