On Fri, 2018-10-19 at 11:02 +0300, Matti Picus wrote:
> We currently have highest, high, normal, low, and lowest priority
> labels
> for github issues/PRs. At the recent status meeting, we proposed
> consolidating these to a single "high" priority label. Anything
> "low"
> priority should be merged or closed since it will be quickly
> forgotten,
> and no "normal" tag is needed.
>
>
> With that, we (the BIDS team) would like to encourage reviewers to
> use
> the "high" priority tag to indicate things we should be working on.
>
> Any objections or thoughts?
>
Sounds like a plan, especially having practically meaningless tags
right now is no help. Most of them are historical and personally I have
only been using the milestones to tag things as high priority (very
occasionally).
- Sebastian
+1 from me as well. I haven't been using these tags at all.
+1
+1 I may have used one of the priority labels once or twice, I don't really remember. When I think something needs to be fixed or merged I generally add a benchmark.