We currently have 182 labels on this repo: that is more than what can be reasonably used. I propose a reduction to maybe 30 labels.
Many labels can be deleted because they designate things which are no longer part of Theia like the language support extensions (now done as VS Code extensions).
Feature Description:
We currently have 182 labels on this repo: that is more than what can be reasonably used. I propose a reduction to maybe 30 labels. Many labels can be deleted because they designate things which are no longer part of Theia like the language support extensions (now done as VS Code extensions).