Labels

• bug

  Something isn't working
• dependencies

  Pull requests that update a dependency file
• duplicate

  This issue or pull request already exists
• enhancement

  Small improvement / story
• feature

  User story
• hot
• next release
• releng

  Release Engineering
• stopship
• tech-debt

  Non-user-facing changes - testing, logging
• theia

  This Issue is related to the extension running in Theia