Skip to content

Redirect devcontainers-contrib to devcontainers-extra - #1044

Merged
Christof Marti (chrmarti) merged 1 commit into
mainfrom
chrmarti/vocational-moth
Jul 8, 2025
Merged

Redirect devcontainers-contrib to devcontainers-extra#1044
Christof Marti (chrmarti) merged 1 commit into
mainfrom
chrmarti/vocational-moth

Conversation

@chrmarti

Copy link
Copy Markdown
Contributor

@chrmarti
Christof Marti (chrmarti) merged commit c3e6670 into main Jul 8, 2025
68 of 71 checks passed
@chrmarti
Christof Marti (chrmarti) deleted the chrmarti/vocational-moth branch July 8, 2025 13:51
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.

2 participants