We have a rustc-dev group on github (https://github.com/rustc-dev) that we ended never using? Maybe delete it cc @nikomatsakis
huh, I have zero memory of this
Can anybody think of a reason not to delete the rustc-dev github org? cc @Pietro Albini, @simulacrum , @pnkfelix?
hm, I suspect that might be @Pietro Albini's org for rust-lang/rust gh action experimentation?
But I don't actually know :)
ok then I will wait
I have no idea what it is
(I do not appear to have any access, FWIW, I also don't know)
it's not an org of mine
we should be really careful with deleting orgs though
(maybe not for that, but surely we don't want to delete the nursery even when everything is migrated)
ha ha rustc-dev has a pending invitation for eddy
(I'm guessing we created this at one of ancient T-compiler work weeks with the intent of making it a central point for shared rustc experiments? But heck if I know.)
I wouldn't delete it even if unused, just let it sit fallow. Might as well have the name.
maybe we can just change the description "deprecated. we have no idea what this is here for but we're keeping it"