Before doing so, I'd like the input of the maintainers of this repository regarding on how to deal with existing labels in this repository. There are 3 options:
start from scratch: I delete existing labels and deploy the new ones. Labels currently assigned to issues will be lost.
co-existence: I deploy the new set of labels, leave the ones currently in use in the repository intact. The Maintainers re-assign issues to new labels and delete the old ones once you completed the transition.
transition: I deploy the new labels and I do my best to re-assign old labels to the ones
Please let me know your preference. If I don't hear from you within 2 weeks, I'll use the transition option.
I'd like to deploy the proposed set of GitHub labels for this repository. You can read about the process for developing these labels and see the list of labels in the handbook.
Before doing so, I'd like the input of the maintainers of this repository regarding on how to deal with existing labels in this repository. There are 3 options:
Please let me know your preference. If I don't hear from you within 2 weeks, I'll use the transition option.