Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #76053 #[forbid(unreachable_code)] incompatibl…


triagebot (Aug 29 2020 at 18:15, on Zulip):

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

Procedure

LeSeulArtichaut (Aug 29 2020 at 18:16, on Zulip):

I think this is provably P-medium or even P-low

Joshua Nelson (Aug 29 2020 at 19:09, on Zulip):

+1 to P-low, it took 30 releases for someone to notice haha

Santiago Pastorino (Sep 02 2020 at 15:09, on Zulip):

gonna tag it as P-low, just in case, once we have 2 persons saying the same just feel free to label issues :)

Santiago Pastorino (Sep 02 2020 at 15:09, on Zulip):

unsure if everyone have rights for that

Santiago Pastorino (Sep 02 2020 at 15:09, on Zulip):

if not, let me know but I think the ones that are part of the WG should

Santiago Pastorino (Sep 02 2020 at 15:10, on Zulip):

@Joshua Nelson do you?, do you want to be added to the wg? :)

Joshua Nelson (Sep 02 2020 at 15:10, on Zulip):

I seem to keep joining more teams :laughing: but sure, I can join

Joshua Nelson (Sep 02 2020 at 15:10, on Zulip):

and yes I have permissions from being on rustdoc

triagebot (Sep 02 2020 at 15:11, on Zulip):

Issue #76053's prioritization request has been removed.

Santiago Pastorino (Sep 02 2020 at 15:53, on Zulip):

Joshua Nelson said:

I seem to keep joining more teams :laughing: but sure, I can join

:heart: :heart: :heart:

Santiago Pastorino (Sep 02 2020 at 15:53, on Zulip):

going to add you to the team repo and add you to the group here

Santiago Pastorino (Sep 02 2020 at 15:54, on Zulip):

@Joshua Nelson there's @WG-prioritization/alerts which is kind of opt-in, it's the group we use to be pinged when a new issue shows up

Santiago Pastorino (Sep 02 2020 at 15:54, on Zulip):

I'm not in the group because those pings are not great for me :) and I check everything anyway

Joshua Nelson (Sep 02 2020 at 15:54, on Zulip):

Santiago Pastorino said:

I'm not in the group because those pings are not great for me :) and I check everything anyway

I think that would be my preference too

Joshua Nelson (Sep 02 2020 at 15:55, on Zulip):

thanks so much for inviting me!

DPC (Sep 02 2020 at 15:55, on Zulip):

welcome joshua to the club of "why am I in so many groups" :grinning:

Joshua Nelson (Sep 02 2020 at 15:56, on Zulip):

like I told Pietro Albini, it's part of my secret plan to take over rust by joining every group :smiling_devil:

Santiago Pastorino (Sep 02 2020 at 15:58, on Zulip):

team#424

Last update: Apr 15 2021 at 02:00UTC