Stream: t-compiler/wg-meta

Topic: diagnostics ICE breakers


Santiago Pastorino (Apr 20 2020 at 14:19, on Zulip):

just saw rustc-dev-guide#524 and wondered, I may not be remembering very well about this but was this group officially formed?

Santiago Pastorino (Apr 20 2020 at 14:19, on Zulip):

cc @nikomatsakis @Esteban Küber @mark-i-m

Santiago Pastorino (Apr 20 2020 at 14:21, on Zulip):

I'm not sure if we need too much ceremony for this but may be good to link this group from the ice breakers main page and add the ping commands to rustbot

Esteban Küber (Apr 20 2020 at 15:09, on Zulip):

The group itself was never formalized, as it was a rotating handful of people that worked on it

Esteban Küber (Apr 20 2020 at 15:10, on Zulip):

I think today it's back to mostly just me, with a few others sporadically working on stuff.

Santiago Pastorino (Apr 20 2020 at 15:14, on Zulip):

@Esteban Küber by group I meant, Diagnostics ICE Breakers

Santiago Pastorino (Apr 20 2020 at 15:15, on Zulip):

if we were to form a group like this, which I think it would be great, we need a way for people to sign up and a way for people to ping the ICE Breakers as it's done in other ICE Breakers groups

Esteban Küber (Apr 20 2020 at 15:17, on Zulip):

Ah, for ice breakers, I thought you meant for the wg.

Esteban Küber (Apr 20 2020 at 15:17, on Zulip):

Yeah, doesn't exist today

Esteban Küber (Apr 20 2020 at 15:17, on Zulip):

I don't think a dedicated diagnostics ice breaker group needs to exist

Santiago Pastorino (Apr 20 2020 at 16:19, on Zulip):

@Esteban Küber yeah that's what I meant, the PR is adding a document about Diagnostics ICE Breakers

Santiago Pastorino (Apr 20 2020 at 16:19, on Zulip):

I think it would be a great idea though

Santiago Pastorino (Apr 20 2020 at 16:19, on Zulip):

but I was just noting that we are adding a document about the group but the group doesn't exist :)

mark-i-m (Apr 23 2020 at 20:44, on Zulip):

Hmm... @Santiago Pastorino could you open a PR to remove that section?

mark-i-m (Apr 23 2020 at 20:45, on Zulip):

Sorry, I was under the impression that it had been formed

Santiago Pastorino (Apr 23 2020 at 20:49, on Zulip):

I think we should :), but that means we need to open a couple of PRs on other repos

Santiago Pastorino (Apr 23 2020 at 20:49, on Zulip):

if we want to have that I guess I could help

Santiago Pastorino (Apr 23 2020 at 20:49, on Zulip):

cc also @Esteban Küber

Last update: Sep 28 2020 at 14:30UTC