Stream: t-compiler/wg-learning

Topic: name change


nikomatsakis (Dec 20 2019 at 16:06, on Zulip):

What do y'all think of renaming this WG as the rustc-guide WG

nikomatsakis (Dec 20 2019 at 16:06, on Zulip):

I've heard some people get confused that the role of the learning WG is to help people learn rust

nikomatsakis (Dec 20 2019 at 16:06, on Zulip):

as opposed to learning about rustc

nikomatsakis (Dec 20 2019 at 16:07, on Zulip):

and it seems like rustc-guide is the current focus anyhow

Santiago Pastorino (Dec 20 2019 at 16:12, on Zulip):

I definitely agree with the idea

Santiago Pastorino (Dec 20 2019 at 16:13, on Zulip):

the goals of the wg are also about rustc-guide and API docs which we are not really doing, so I prefer to have something that shows a bit more the focus of the group

mark-i-m (Dec 20 2019 at 17:47, on Zulip):

Yep, that also makes sense to me

Yuki Okushi (Dec 21 2019 at 11:38, on Zulip):

I agree with that, but we won't rename the rustc-guide to rustc-dev-guide or something for now? I remember this issue: https://github.com/rust-lang/rustc-guide/issues/470

mark-i-m (Dec 21 2019 at 20:28, on Zulip):

I think if we are going to change names, we should change both to together to avoid churn

centril (Dec 21 2019 at 21:07, on Zulip):

Seems like a good idea to rename :+1:

Santiago Pastorino (Dec 22 2019 at 00:36, on Zulip):

agree that we should rename probably the guide and the WG to rustc-dev-guide

Last update: Apr 05 2020 at 01:50UTC