Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #76597 Rustc memory exhaustion when formatting…


triagebot (Sep 11 2020 at 10:37, on Zulip):

@WG-prioritization/alerts issue #76597 has been requested for prioritization.

Procedure

Joshua Nelson (Sep 11 2020 at 13:30, on Zulip):

I think P-high for the crash and P-medium for the vulnerability to crashes in rustc_errors. There's a PR open fixing both.

apiraino (Sep 14 2020 at 20:39, on Zulip):

right :thumbs_up: can in this case the I-prioritize be removed or is there more about it concerning the prioritization?

Joshua Nelson (Sep 14 2020 at 20:41, on Zulip):

it looks like it was already fixed, going to close it

Joshua Nelson (Sep 14 2020 at 20:41, on Zulip):

does it still need prioritization in that case?

apiraino (Sep 14 2020 at 20:56, on Zulip):

in my opinion, it can be removed - @Santiago Pastorino ?

triagebot (Sep 14 2020 at 20:56, on Zulip):

Issue #76597's prioritization request has been removed.

Joshua Nelson (Sep 14 2020 at 20:57, on Zulip):

Oh oops I took the thumbs up as yes lol

apiraino (Sep 14 2020 at 20:57, on Zulip):

haha I think it's fine - sorry my fault

apiraino (Sep 14 2020 at 20:58, on Zulip):

my understanding is that when an issue is resolved the I-prio label doesnt help anymore

Santiago Pastorino (Sep 14 2020 at 21:01, on Zulip):

@Joshua Nelson @apiraino as I've mentioned in the other thread I think triage wg does remove these labels

Santiago Pastorino (Sep 14 2020 at 21:01, on Zulip):

it's ok in my opinion to remove those too

Santiago Pastorino (Sep 14 2020 at 21:01, on Zulip):

but it doesn't neither bother if they are there IMHO

Santiago Pastorino (Sep 14 2020 at 21:02, on Zulip):

I just search for open I-prioritize so they do not bother in any way

apiraino (Sep 14 2020 at 21:05, on Zulip):

ah ok, good point :thumbs_up:

DPC (Sep 14 2020 at 22:45, on Zulip):

we don't exclusively remove those, because closed issues or prs don't matter (since nobody searches for those). however in this case it's better to see it sends a messages here so we know that prioritisation was removed

Last update: Apr 10 2021 at 21:30UTC