Stream: t-compiler/const-eval

Topic: rename the repository


nikomatsakis (Nov 14 2019 at 22:16, on Zulip):

Any objection if I rename the const-eval repo to project-const-eval? trying to adopt a consistent naming scheme for "project groups" (itself a refinement of working group)

nikomatsakis (Nov 14 2019 at 22:16, on Zulip):

cc @ecstatic-morse

ecstatic-morse (Nov 14 2019 at 22:17, on Zulip):

No objection from me, might wanna get an okay from @oli though

nikomatsakis (Nov 14 2019 at 22:18, on Zulip):

I imagine GH will redirect anyway

oli (Nov 15 2019 at 13:40, on Zulip):

yea, no problem

Last update: Dec 12 2019 at 01:35UTC