Labels

• bug

  bug

• community

  community

  Pull Requests and issues created by the community.

• customer-reported

  customer-reported

• customer-requested

  customer-requested

• dependencies

  dependencies

  Pull requests that update a dependency file

• devex

  devex

• docker

  docker

  Pull requests that update docker code

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

• Feature

  Feature

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• Improvement

  Improvement

• invalid

  invalid

  This doesn't seem right

• investigation-needed

  investigation-needed

• javascript

  javascript

  Pull requests that update Javascript code

• must-do

  must-do

• question

  question

  Further information is requested

• regression

  regression

  Something that used to work and is now broken

• roadmap

  roadmap

• telemetry

  telemetry

  Telemetry and observability instrumentation

• upstream

  upstream

  Issues due to an upstream issue in VSCode or other dependency.

• vs-code

  vs-code

• waiting-for-info

  waiting-for-info

• wontfix

  wontfix

  This will not be worked on