Re: Weight field in issues too fine grained?

Ben Gamari writes:

Right. I would suggest that we convert the weight field into two (mutually exclusive) labels:

* P::High would be category (1) * P::Low would be category (2) * No P::* label would imply categoy (3)

Does this sound reasonable to everyone? I could cobble together a script to make this change in about 10 minutes if so.

I have I have posted this script here [1]. Cheers, - Ben [1] https://gitlab.haskell.org/bgamari/gitlab-migration/snippets/1457