dev-cmd/pull: recommend gh over hub.
dev-cmd/pull: recommend gh over hub.

`gh` is the official GitHub tool and better maintained at this point.

reitermarkus/brew,sjackman/homebrew,vitorgalvao/brew,mahori/brew,EricFromCanada/brew,konqui/brew,reitermarkus/brew,nandub/brew,sjackman/homebrew,konqui/brew,claui/brew,MikeMcQuaid/brew,vitorgalvao/brew,Homebrew/brew,MikeMcQuaid/brew,konqui/brew,JCount/brew,JCount/brew,Homebrew/brew,vitorgalvao/brew,EricFromCanada/brew,claui/brew,claui/brew,mahori/brew,reitermarkus/brew,Homebrew/brew,mahori/brew,MikeMcQuaid/brew,MikeMcQuaid/brew,mahori/brew,nandub/brew,vitorgalvao/brew,JCount/brew,sjackman/homebrew,EricFromCanada/brew,nandub/brew,claui/brew,sjackman/homebrew,konqui/brew,JCount/brew,Homebrew/brew,reitermarkus/brew,nandub/brew,EricFromCanada/brew