From 5e0a11483fb6cd63eeabe3feffd24de16a73714a Mon Sep 17 00:00:00 2001 From: Matt McCormick Date: Fri, 8 Oct 2021 16:23:58 -0400 Subject: [PATCH] DOC: Recommend GitHub CLI Official GitHub CLI tool, very actively maintained, lots of good features. --- Utilities/GitSetup/github-tips | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Utilities/GitSetup/github-tips b/Utilities/GitSetup/github-tips index e7d775f7815..117e0747fb2 100755 --- a/Utilities/GitSetup/github-tips +++ b/Utilities/GitSetup/github-tips @@ -29,13 +29,13 @@ If curl and python3 are available, the pull request number can be omitted, and a list of open pull requests will be presented. ' -# Suggest hub -if ! type hub >/dev/null 2>&1; then +# Suggest gh +if ! type gh >/dev/null 2>&1; then echo ' -`hub` is a useful command line tool for working with GitHub. For installation +`gh` is a useful command line tool for working with GitHub. For installation and usage instructions, see: - https://hub.github.com/ + https://cli.github.com/ ' fi