Skip to content

[dev]: replace hub with gh #2960

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
jsjoeio opened this issue Mar 24, 2021 · 0 comments · Fixed by #3168
Closed

[dev]: replace hub with gh #2960

jsjoeio opened this issue Mar 24, 2021 · 0 comments · Fixed by #3168
Assignees
@oxy
Labels
chore Related to maintenance or clean up enhancement Some improvement that isn't a feature
Milestone
v3.10.0

Comments

@jsjoeio
Copy link
Contributor

jsjoeio commented Mar 24, 2021

As @oxy pointed out, we're currently using a mix of hub and gh in our build scripts.

We should replace hub with gh and use one consistently throughout the codebase.

Related:
@jsjoeio jsjoeio added the enhancement Some improvement that isn't a feature label Mar 24, 2021
@jsjoeio jsjoeio added this to the On Deck milestone Mar 24, 2021
@jsjoeio jsjoeio self-assigned this Mar 24, 2021
@jsjoeio jsjoeio mentioned this issue Mar 24, 2021
Merged
4 tasks
@jsjoeio jsjoeio modified the milestones: On Deck, v3.9.4 Apr 8, 2021
@oxy oxy self-assigned this Apr 14, 2021
@jsjoeio jsjoeio removed their assignment Apr 19, 2021
@oxy oxy mentioned this issue Apr 19, 2021
Merged
@oxy oxy closed this as completed in #3168 Apr 19, 2021
@jsjoeio jsjoeio added the chore Related to maintenance or clean up label May 14, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@oxy oxy

Labels
chore Related to maintenance or clean up enhancement Some improvement that isn't a feature
Projects
None yet
Milestone
v3.10.0
Development

Successfully merging a pull request may close this issue.

chore(ci): migrate from hub to gh coder/code-server
2 participants
@jsjoeio @oxy