Skip to content

devcontainers-contrib → devcontainers-extra#30

Open
wbhob wants to merge 1 commit into
marcozac:mainfrom
wbhob:main
Open

devcontainers-contrib → devcontainers-extra#30
wbhob wants to merge 1 commit into
marcozac:mainfrom
wbhob:main

Conversation

@wbhob

@wbhob wbhob commented Jun 12, 2025

Copy link
Copy Markdown

fixes #29

@ryosebach

Copy link
Copy Markdown

@marcozac
Do you have an expected timeline for when this PR might be merged?

I’m currently unable to use buf, and it’s causing issues.

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.

Migrate gh-release to ghcr.io/devcontainers-extra/features/gh-release

2 participants