keyword-generics-initiative icon indicating copy to clipboard operation
keyword-generics-initiative copied to clipboard

Published 20 hours ago • verified publisher icon rust-lang

Rename this repository

Open yoshuawuyts opened this issue 1 year ago • 3 comments

We renamed the initiative to: "the effects initiative", and our Zulip stream is t-lang/effects. We should probably rename this repo to rust-lang/effects-initiative.

cc/ @oli-obk I believe you can do that?

yoshuawuyts avatar Feb 01 '24 13:02 yoshuawuyts

Infra needs to do that

oli-obk avatar Feb 02 '24 00:02 oli-obk

@rust-lang/infra could you rename this repository to rust-lang/effects-initiative please? :pray:

yoshuawuyts avatar Feb 19 '24 13:02 yoshuawuyts

This is slightly more involved, since we also need to change the configuration in rust-lang/team. I'll prepare a PR so that we can change the name in both the repo and on GitHub simultaneously.

jdno avatar Feb 20 '24 12:02 jdno