-- Leo's gemini proxy
-- Connecting to freeshell.de:1965...
-- Connected
-- Sending request
-- Meta line: 20 text/gemini;lang=en-GB
> Manage GitHub pull requests from the command-line.
Create a pull request:
gh pr create
Check out a pull request locally:
gh pr checkout {pr_number}
View the changes made in the PR:
gh pr diff
Approve the pull request of the current branch:
gh pr review --approve
Merge the pull request associated with the current branch interactively:
gh pr merge
Edit a pull request interactively:
gh pr edit
Edit the base branch of a pull request:
gh pr edit --base {branch_name}
> 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 Tue May 21 06:41:15 2024