<div dir="ltr">Isn't there already a "needs triage" label separate from this? Which would make that plus explicit priority a suggested priority to guide whoever's doing triage. (I expect triage goes beyond simply priority setting, e.g. making sure it has the right component(s) and maybe assigning specific people who know that component.)</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jul 8, 2019 at 6:43 AM Ben Gamari <<a href="mailto:ben@well-typed.com">ben@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Simon Peyton Jones via ghc-devs <<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a>> writes:<br>
<br>
> Thanks Ben.   Did we agree to have<br>
><br>
> * 3 explicit labels (high, normal, low)<br>
><br>
> * With absence of a label indicating "has not been assigned a priority"<br>
>   which you can also read as "needs triage".<br>
><br>
> I would strongly prefer not to have <br>
>   "no label" = "low priority"<br>
> as I described earlier<br>
><br>
We actually have four labels (highest, high, normal, low), mirroring<br>
Trac. On further reflection I agree with you; "no label" = "normal<br>
priority" left a bit too much implicit.<br>
<br>
Regardless, whether we want to equate the lack of a priority label with<br>
"needs triage" is another decision. I'm not opposed to this but I do<br>
wonder whether issue reporters might be tempted to set the ticket<br>
priority, thereby inadvertently circumventing the usual triage process.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>brandon s allbery kf8nh</div><div><a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a></div></div></div></div></div>