From 0447b2200ff5da3d249d0f6cedb79ea0cbb4ce3b Mon Sep 17 00:00:00 2001 From: Mike McQuaid Date: Mon, 21 Sep 2020 12:12:03 +0100 Subject: [PATCH] dev-cmd/pull: recommend gh over hub. `gh` is the official GitHub tool and better maintained at this point. --- Library/Homebrew/dev-cmd/pull.rb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Library/Homebrew/dev-cmd/pull.rb b/Library/Homebrew/dev-cmd/pull.rb index 657e58ed22..045e1c2418 100644 --- a/Library/Homebrew/dev-cmd/pull.rb +++ b/Library/Homebrew/dev-cmd/pull.rb @@ -43,6 +43,6 @@ module Homebrew end def pull - odisabled "brew pull", "hub checkout" + odisabled "brew pull", "gh pr checkout" end end