Skip to content

Use default devcontainer#81

Merged
johnboyes merged 1 commit intomainfrom
remove-devcontainer-config
Mar 18, 2025
Merged

Use default devcontainer#81
johnboyes merged 1 commit intomainfrom
remove-devcontainer-config

Conversation

@johnboyes
Copy link
Copy Markdown
Collaborator

@johnboyes johnboyes commented Mar 18, 2025

Remove the obsolete bespoke devcontainer config, and instead use the
default devcontainer.

We will add any useful bespoke devcontainer config in a future commit,
but the default devcontainer is fine for now.

Remove the obsolete bespoke devcontainer config, and instead use the
[default devcontainer][1].

We will add any useful bespoke devcontainer config in a future commit,
but the default devcontainer is fine for now.

[1]: https://docs.github.com/en/codespaces/setting-up-your-project-for-codespaces/adding-a-dev-container-configuration/introduction-to-dev-containers#using-the-default-dev-container-configuration
@johnboyes johnboyes added the patch Semantic versioning: backwards compatible bug fixes label Mar 18, 2025
@johnboyes johnboyes merged commit 563ba23 into main Mar 18, 2025
25 of 27 checks passed
@johnboyes johnboyes deleted the remove-devcontainer-config branch March 18, 2025 06:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

patch Semantic versioning: backwards compatible bug fixes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant