Replace 'gh pr checkout' with 'gh co' alias

python · Oct 9, 2023 · 59814d1 · 59814d1
1 parent c5d1b7c
commit 59814d1
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/getting-started/git-boot-camp.rst b/getting-started/git-boot-camp.rst
@@ -430,9 +430,9 @@ Scenario:
 - Before merging it, you want to be able to test their changes locally.
 
 If you've got `GitHub CLI <https://cli.github.com>`_ or
-`hub <https://hub.github.com>`_ installed, you can simply do::
+`hub <https://hub.github.com>`_ installed, you can do::
 
-   $ gh pr checkout <pr_number>   # GitHub CLI
+   $ gh co <pr_number>  # GitHub CLI
    $ hub pr checkout <pr_number>  # hub
 
 Both of these tools will configure a remote URL for the branch, so you can
@@ -637,7 +637,7 @@ Examples of useful commands:
 
 * Check out another PR::
 
-      gh pr checkout <pr-id>
+      gh co <pr-id>
 
 * Set ``ssh`` as the Git protocol::