Skip to content

Deprecate hub and replace it with gh - #578

Merged
vrom911 merged 4 commits into
kowainik:mainfrom
skilly-lily:use-gh-tool
Jan 16, 2026
Merged

Deprecate hub and replace it with gh#578
vrom911 merged 4 commits into
kowainik:mainfrom
skilly-lily:use-gh-tool

Conversation

@skilly-lily

Copy link
Copy Markdown
Contributor

Since hub is no longer active (no releases since 2020), is no longer an official Github tool, and an official Github CLI tool now exists in gh, It might be best to move usage of hub to gh.

I wrote this for myself to use with the main branch of summoner (so that I could use it for a modern GHC version), and I thought there might be interest in keeping it here, so I decided to clean it up and submit it upstream.

If this change is wanted, but we don't want to deprecate hub, let me know: I can build in gh support as a fallback and fix the docs.

One additional change: Github no longer requires a paid plan for private repos, so I also updated that doc.

@skilly-lily
skilly-lily requested a review from vrom911 as a code owner March 21, 2025 03:00
@tomjaguarpaw

Copy link
Copy Markdown
Contributor

Thanks very much for the contribution! However, summoner seems to be basically in emergency maintenance only mode. If you're a regular user and want to keep it updated perhaps you could petition @vrom911 to be added as a co-maintainer?

@skilly-lily

Copy link
Copy Markdown
Contributor Author

There are a couple more changes I intend to make for my own purposes, like supporting $XDG_CONFIG_HOME for the config file. I'm not against helping out as a maintainer, but I couldn't commit to taking it too far from the current maintenance mode.

@vrom911

vrom911 commented Jan 16, 2026

Copy link
Copy Markdown
Member

Hey @skilly-lily , this is a really nice one! Thanks a lot for your contribution ❤️
It will be available in the following release 🙏🏼

@vrom911
vrom911 merged commit 2435b58 into kowainik:main Jan 16, 2026
14 checks passed
@skilly-lily
skilly-lily deleted the use-gh-tool branch February 7, 2026 11:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants