The move from redmine to GitHub issues has generated a great many labels: https://github.com/pulp/pulp_deb/labels
A lot of these labels don’t really mean much to me or else duplicate labels I already had. I find the number of available labels to consider overwhelming/unhelpful, and would prefer to delete a good number of them. Especially those that aren’t even in use.
So here is my question: Are any of the labels needed for CI code to work? Or were they introduced merely so as not to lose any information contained in redmine? In case of the latter I would re-evaluate pulp_deb labels as I see fit. In case of the former I need to be more careful…