Skip to content

chore: deprecate devcontainer - #1395

Open
bowenli86 wants to merge 1 commit into
mainfrom
devcontainer
Open

bowenli86 wants to merge 1 commit into
mainfrom
devcontainer

Conversation

@bowenli86

@bowenli86 bowenli86 commented May 23, 2025

Copy link
Copy Markdown
Contributor

Motivation:

deprecate devcontainer, don't think it's used anywhere and it's a legacy now. clean up core repo

Modifications:

deprecate devcontainer

@github-actions
github-actions Bot deleted the devcontainer branch August 29, 2025 00:16
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.

1 participant