Labels

• bug
• community

  Pull Requests and issues created by the community.
• customer-reported
• customer-requested
• dependencies

  Pull requests that update a dependency file
• devex
• docker

  Pull requests that update docker code
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement
• Feature
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• Improvement
• invalid

  This doesn't seem right
• investigation-needed
• javascript

  Pull requests that update Javascript code
• must-do
• question

  Further information is requested
• regression

  Something that used to work and is now broken
• roadmap
• telemetry

  Telemetry and observability instrumentation
• upstream

  Issues due to an upstream issue in VSCode or other dependency.
• vs-code
• waiting-for-info
• wontfix

  This will not be worked on