just saw rustc-dev-guide#524 and wondered, I may not be remembering very well about this but was this group officially formed?
cc @nikomatsakis @Esteban Küber @mark-i-m
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
The group itself was never formalized, as it was a rotating handful of people that worked on it
I think today it's back to mostly just me, with a few others sporadically working on stuff.
@Esteban Küber by group I meant, Diagnostics ICE Breakers
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
Ah, for ice breakers, I thought you meant for the wg.
Yeah, doesn't exist today
I don't think a dedicated diagnostics ice breaker group needs to exist
@Esteban Küber yeah that's what I meant, the PR is adding a document about Diagnostics ICE Breakers
I think it would be a great idea though
but I was just noting that we are adding a document about the group but the group doesn't exist :)
Hmm... @Santiago Pastorino could you open a PR to remove that section?
Sorry, I was under the impression that it had been formed
I think we should :), but that means we need to open a couple of PRs on other repos
if we want to have that I guess I could help
cc also @Esteban Küber