Labels

• community

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

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• 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
• upstream

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

  This will not be worked on