Open mcdurdin opened 2 weeks ago
We use hub in a few places to interact with GitHub, but we should move to using gh instead, as hub is effectively deprecated.
hub
gh
We use
hub
in a few places to interact with GitHub, but we should move to usinggh
instead, ashub
is effectively deprecated.