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.

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

add .devcontainer configuration #59

Open
KasperZutterman opened this issue Nov 25, 2021 · 0 comments · May be fixed by #60
Open

add .devcontainer configuration #59

KasperZutterman opened this issue Nov 25, 2021 · 0 comments · May be fixed by #60
Assignees
Labels
enhancement New feature or request

Comments

@KasperZutterman
Copy link
Collaborator

KasperZutterman commented Nov 25, 2021

A .devcontainer allows for a remote development container with all necessary development dependencies (useful for e.g. github.dev)
See:

@KasperZutterman KasperZutterman added the enhancement New feature or request label Nov 25, 2021
@KasperZutterman KasperZutterman self-assigned this Nov 25, 2021
@KasperZutterman KasperZutterman linked a pull request Nov 25, 2021 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant