From 59814d17544f9cdee9ec26fb4a6d87d87c8a8f65 Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <hugovk@users.noreply.github.com>
Date: Mon, 9 Oct 2023 14:04:22 +0200
Subject: [PATCH] Replace 'gh pr checkout' with 'gh co' alias

---
 getting-started/git-boot-camp.rst | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/getting-started/git-boot-camp.rst b/getting-started/git-boot-camp.rst
index 4746de33be..9b8981eb5c 100644
--- 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::