WG-profile-guided-optimization is soon going into retirement because it has reached its goals. Is there a way to "archive" the corresponding zulip stream? I didn't find anything to that effect in the zulip docs.
I don’t think there is.
It just stops being used as far as I know.
Alright, I'll just post a "this stream is archived" message then. Thanks for taking a look!
@mw I guess you would also want to provide a PR to the compiler-team repo explaining what's the situation of the working group or just removing it?
@Santiago Pastorino way ahead of you
zulip does have a setting for each stream that restricts posting solely to organization administrators
should we consider doing that for working-groups that have wound down?
I forgot about that, that’s a good idea.
@mw and @nikomatsakis : can you think of any reason to not restrict posting for wound-down WG's ?
(the only one I can think of is that people may want to ask Q's about work that was done in the past. But I think such questions can be posted in the #t-compiler stream.)
you can restrict posting and post a last message mentioning the wound down status "this wg has wound down, etc etc if you have any questions, please post them in #t-compiler"
yes, I think if someone _really_ wants to post a question regarding a retired WG, they can do so in #t-compiler
I'm in favor of restricting posting
I believe the "official thing to do" for archived streams is to rename them to
z-, believe it or not
or at least I remember seeing some suggestions to that effect
I think the intent is to move it later in the list
seems pretty horrible to me :)