Skip to content

Create devcontainer.json#3846

Closed
Ramzifayyaz3161 wants to merge 1 commit into
redhat-developer:mainfrom
Ramzifayyaz3161:patch-1
Closed

Create devcontainer.json#3846
Ramzifayyaz3161 wants to merge 1 commit into
redhat-developer:mainfrom
Ramzifayyaz3161:patch-1

Conversation

@Ramzifayyaz3161

Copy link
Copy Markdown

No description provided.

@rgrunber

rgrunber commented Nov 7, 2024

Copy link
Copy Markdown
Member

Is there a particular use-case for this or is this some kind of auto-generated contribution ? Seems same as #3812 .

@fbricon

fbricon commented Sep 29, 2025

Copy link
Copy Markdown
Collaborator

WIthout feedback from OP, I consider this like spam. closing.

@fbricon fbricon closed this Sep 29, 2025
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.

3 participants