GitHub added a Type field, where we can currently select Bug, Feature, PLIP, or Task.
We also have older type labels: 01 type: bug, 02 type: regression, 03 type: feature (plip), 04 type: enhancement, 05 type: question, 06 type: plip task.
I propose that we should:
- Convert the bug, PLIP, and enhancement labels into the Bug, PLIP, and Feature types, respectively.
- Remove the other type labels.
Does that sound okay to you, @tisto?
GitHub added a Type field, where we can currently select Bug, Feature, PLIP, or Task.
We also have older type labels:
01 type: bug,02 type: regression,03 type: feature (plip),04 type: enhancement,05 type: question,06 type: plip task.I propose that we should:
Does that sound okay to you, @tisto?