Skip to content

Conversation

@AlvaroRausell
Copy link
Contributor

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)
  • Other: CI change

Related Issues

Fixes failing action

Description

Fixes collection-index lint action

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.

@AlvaroRausell AlvaroRausell requested a review from a team as a code owner January 5, 2026 10:54
@AlvaroRausell AlvaroRausell merged commit b96ffe9 into gh-pages Jan 5, 2026
5 checks passed
@AlvaroRausell AlvaroRausell deleted the AlvaroRausell-patch-1 branch January 5, 2026 11:04
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