Skip to content

Conversation

@gvatsal60
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)

Description

Added new devcontainer collection
pre-commit(via pip) and sonarlint

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.

@gvatsal60 gvatsal60 requested a review from a team as a code owner July 27, 2024 09:22
@gvatsal60 gvatsal60 changed the title Update collection-index.yml Added new collection sonarlint and pre-commit(via pip) Jul 27, 2024
Copy link
Member

@samruddhikhandale samruddhikhandale left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@samruddhikhandale samruddhikhandale merged commit c7806d0 into devcontainers:gh-pages Jul 30, 2024
@gvatsal60 gvatsal60 deleted the patch-1 branch August 2, 2024 07:25
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