💾 Archived View for freeshell.de › tldr › gh-pr-merge.gmi captured on 2023-07-10 at 14:32:29. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2022-04-28)
-=-=-=-=-=-=-
Merge GitHub pull requests.
gh pr merge
gh pr merge {pr_number}
gh pr merge --delete-branch
gh pr merge --{merge|squash|rebase}
gh pr merge --{merge|squash|rebase} --subject {commit_message}
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).