Skip to content

Conversation

ghost
Copy link

@ghost ghost commented Apr 12, 2025

What type of PR is this?

  • Add a new dev container collection
  • Update to an existing dev container collection
  • Documentation/spec update
  • Other containers.dev site update (UX, layout, etc)

Related Issues

  • Related Issue #
  • Closes #

Description

Please replace this line with a description of your PR.

Collection checklist

If your PR contributes a new collection, please utilize this checklist:

  • Collection name
  • Maintainer name
  • Maintainer contact link (i.e. link to a GitHub repo, email)
  • Repository URL
  • OCI Reference
  • I acknowledge that this collection provides new functionality, distinct from the existing collections part of this index.

@ghost ghost self-requested a review as a code owner April 12, 2025 22:49
Adonis Jimenez added 16 commits April 12, 2025 18:52
Signed-off-by: Adonis Jimenez <[email protected]>
Signed-off-by: Adonis Jimenez <[email protected]>
Signed-off-by: Adonis Jimenez <[email protected]>
Signed-off-by: Adonis Jimenez <[email protected]>
Signed-off-by: Adonis Jimenez <[email protected]>
Signed-off-by: Adonis Jimenez <[email protected]>
Signed-off-by: Adonis Jimenez <[email protected]>
Signed-off-by: Adonis Jimenez <[email protected]>
Signed-off-by: Adonis Jimenez <[email protected]>
Signed-off-by: Adonis Jimenez <[email protected]>
Signed-off-by: Adonis Jimenez <[email protected]>
Signed-off-by: Adonis Jimenez <[email protected]>
Signed-off-by: Adonis Jimenez <[email protected]>
Signed-off-by: Adonis Jimenez <[email protected]>
Signed-off-by: Adonis Jimenez <[email protected]>
@ghost ghost closed this by deleting the head repository Sep 7, 2025
This pull request was closed.
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.

0 participants