Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Zulip config for async working group #832

Merged
merged 3 commits into from
Sep 10, 2022

Conversation

rylev
Copy link
Member

@rylev rylev commented Sep 7, 2022

This adds the WG-async and WG-async-sprint-planning Zulip user groups so that they are automatically synced.

The WG-async is set to just the members of the working group. This would remove @hawkw, @csmoe, @gilescope, @Aaron1011, @cramertj, @betamos, @LucioFranco, @Nemo157, @nellshamrell, @Stupremee, and @withoutboats as these folks are not members of the working group. If the #WG-async user group is being used for more than just members, we can easily add folks back using the extra-members feature.

The WG-async-sprint-planning is set to the members of the working group plus @hawkw whose info has been added to the repo. This also adds @yoshuawuyts and @taiki-e to this user group as they had not yet been added.

r? @nikomatsakis @tmandry

tmandry
tmandry previously approved these changes Sep 7, 2022
Copy link
Member

@tmandry tmandry left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oh, great – I've been wanting a way to sync these for awhile!

teams/wg-async.toml Outdated Show resolved Hide resolved
name = "WG-async"

[[zulip-groups]]
name = "WG-async-sprint-planning"
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The original point of this alias was to be a subset of the members who lead a focus area or otherwise participate in sprint planning meetings. It can probably be revisited. I can follow up with a PR to make a sub-team.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We might be able to use #833 to accomplish this.

Copy link
Member

@tmandry tmandry left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@rylev rylev mentioned this pull request Sep 9, 2022
27 tasks
@rylev rylev merged commit 024dda7 into rust-lang:master Sep 10, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants