dev-cmd/pull: recommend gh over hub.

`gh` is the official GitHub tool and better maintained at this point.
2020-09-21 12:12:03 +01:00 · 2020-09-21 12:12:03 +01:00 · 0447b2200f
commit 0447b2200f
parent e082da45b8
1 changed files with 1 additions and 1 deletions
--- 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