Skip to content
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

Include Github CLI in devcontainer #215

Open
callumforrester opened this issue Nov 20, 2024 · 4 comments
Open

Include Github CLI in devcontainer #215

callumforrester opened this issue Nov 20, 2024 · 4 comments
Labels
enhancement New feature or request

Comments

@callumforrester
Copy link
Contributor

callumforrester commented Nov 20, 2024 •
edited
Loading

The Github CLI is a useful tool for quickly syncing forks, checking out PRs by number, export gists etc.

Given that we already have opinionated Github support in our copier template, it may make sense to include the CLI, thoughts welcome.
@callumforrester callumforrester added the enhancement New feature or request label Nov 20, 2024
@coretl
Copy link
Contributor

coretl commented Nov 20, 2024

Would you add this as part of the dockerfile or via a feature?

@GDYendell
Copy link
Contributor

Perhaps adding GitHub Pull Requests as a recommended extension would be useful as well / instead?

@coretl
Copy link
Contributor

coretl commented Nov 20, 2024

Perhaps adding GitHub Pull Requests as a recommended extension would be useful as well / instead?

My preference would be the extension instead of the cli

@callumforrester
Copy link
Contributor Author

I'm happy to install the extension for myself and try it for a bit, can progress this issue if I find it does what I want

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@GDYendell @callumforrester @coretl