Skip to content

Conversation

@jamesmunns
Copy link
Member

As per rust-lang/leadership-council#132, we will be archiving the community-rustbridge subteam.

CC @manyinsects @technetos @sebasmagri

@jamesmunns
Copy link
Member Author

@Kobzol do you know what's up with the Zulip CI failure? Is that because arshiamufti is missing a Zulip ID?

@Kobzol
Copy link
Member

Kobzol commented Nov 21, 2025

Yeah, arshiamufti should be removed from the Zulip group exclusion list in all.toml.

@github-actions
Copy link

github-actions bot commented Nov 21, 2025

Dry-run check results

[WARN  sync_team] sync-team is running in dry mode, no changes will be applied.
[INFO  sync_team] synchronizing github
[INFO  sync_team] 💻 Team Diffs:
    📝 Editing team 'rust-lang/all':
      Deleting member 'spacekookie'
    ❌ Deleting team 'rust-lang/community-rustbridge'
    💻 Org membership Diffs:
    ❌ Removing the following members from `rust-lang`:
      - spacekookie

jieyouxu
jieyouxu previously approved these changes Nov 24, 2025
@jieyouxu jieyouxu added this pull request to the merge queue Nov 24, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 24, 2025
@jieyouxu jieyouxu added this pull request to the merge queue Nov 24, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 24, 2025
@jamesmunns
Copy link
Member Author

@jieyouxu this should be updated and ready to try again!

@jieyouxu
Copy link
Member

Oh, right, there was a new private stream... No wonder I thought it surely can't fail

@jieyouxu jieyouxu added this pull request to the merge queue Nov 24, 2025
Merged via the queue into rust-lang:main with commit a0e860b Nov 24, 2025
3 checks passed
@jamesmunns jamesmunns deleted the james/archive-com-rb branch November 24, 2025 07:47
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.

5 participants