Stream: t-compiler

Topic: rustc-dev


nagisa (Nov 27 2019 at 15:05, on Zulip):

We have a rustc-dev group on github (https://github.com/rustc-dev) that we ended never using? Maybe delete it cc @nikomatsakis

nikomatsakis (Dec 09 2019 at 20:14, on Zulip):

huh, I have zero memory of this

nikomatsakis (Dec 09 2019 at 20:15, on Zulip):

Can anybody think of a reason not to delete the rustc-dev github org? cc @Pietro Albini, @simulacrum , @pnkfelix?

simulacrum (Dec 09 2019 at 20:18, on Zulip):

hm, I suspect that might be @Pietro Albini's org for rust-lang/rust gh action experimentation?

simulacrum (Dec 09 2019 at 20:18, on Zulip):

But I don't actually know :)

nikomatsakis (Dec 09 2019 at 20:28, on Zulip):

ok then I will wait

nikomatsakis (Dec 09 2019 at 20:28, on Zulip):

I have no idea what it is

simulacrum (Dec 09 2019 at 20:30, on Zulip):

(I do not appear to have any access, FWIW, I also don't know)

Pietro Albini (Dec 09 2019 at 20:50, on Zulip):

it's not an org of mine

Pietro Albini (Dec 09 2019 at 20:50, on Zulip):

we should be really careful with deleting orgs though

Pietro Albini (Dec 09 2019 at 20:50, on Zulip):

(maybe not for that, but surely we don't want to delete the nursery even when everything is migrated)

pnkfelix (Dec 09 2019 at 21:58, on Zulip):

ha ha rustc-dev has a pending invitation for eddy

pnkfelix (Dec 09 2019 at 22:40, on Zulip):

(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.)

Josh Triplett (Dec 10 2019 at 23:43, on Zulip):

I wouldn't delete it even if unused, just let it sit fallow. Might as well have the name.

nikomatsakis (Dec 11 2019 at 13:48, on Zulip):

maybe we can just change the description "deprecated. we have no idea what this is here for but we're keeping it"

Last update: Dec 12 2019 at 01:40UTC