Skip to content

Move anden3 to alumni#2600

Merged
jieyouxu merged 1 commit into
rust-lang:mainfrom
Kobzol:alumni-anden3
Jul 20, 2026
Merged

Move anden3 to alumni#2600
jieyouxu merged 1 commit into
rust-lang:mainfrom
Kobzol:alumni-anden3

Conversation

@Kobzol

@Kobzol Kobzol commented Jul 18, 2026

Copy link
Copy Markdown
Member

Move anden3 to alumni, as they have been inactive on GitHub and Zulip for some time. This is in accordance with https://github.com/rust-lang/leadership-council/blob/main/policies/membership/auto-alumni.md.

anden3 will be moved to alumni in the following team(s):

This pull request should be left open at least for 10 days (until 28.07.2026) to allow the contributor to respond.

CC @anden3

If you want to keep being a member of Rust teams, please let us know!

@anden3

anden3 commented Jul 18, 2026

Copy link
Copy Markdown
Contributor

I had honestly forgotten I was in there, but as I don't have the time anyway, this sounds like a good idea ❤️

@github-actions

Copy link
Copy Markdown
Dry-run check results

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

@rustbot

This comment has been minimized.

@rustbot

rustbot commented Jul 19, 2026

Copy link
Copy Markdown

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

@jieyouxu
jieyouxu added this pull request to the merge queue Jul 20, 2026
Merged via the queue into rust-lang:main with commit 9306660 Jul 20, 2026
4 checks passed
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.

4 participants