Add zulip-groups to rustc-dev-guide team #843
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
119529 also, just a note that we can't edit your post |
|
316352 |
|
My ID will be added by #805. |
|
209053 |
|
I appreciate the opportunity to have been part of this rust-lang team. Due to other commitments, I won't be able to participate further. It is ok to remove me from the team list. Thank you! |
|
I would like to continue as part of the team! My Zulip ID is already in the teams repo though. |
|
Great, let's wait for the last answer from @togiberlin before pushing the final PR. |
spastorino
force-pushed
the
add-wg-rustc-dev-guide
branch
from
6bbc779 to
354706b
Compare
|
I've removed @togiberlin from the group as a way to move this forward. Please feel free to open a PR adding your zulip-id and joining the team again if you want to be included. |
|
r? @rylev |
Mark-Simulacrum
approved these changes
Sep 21, 2022
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
We would need to check that all of us still want to belong to the team and add each one's zulip-ids. Can you guys please confirm by clicking your box and answering with your zulip-id, so I can fill it in the PR?.
Check #826 for instructions
cc