Skip to content

create an email alias for the goals team and move older contributors to alumni#2251

Merged
jackh726 merged 2 commits intorust-lang:mainfrom
nikomatsakis:main
Feb 11, 2026
Merged

create an email alias for the goals team and move older contributors to alumni#2251
jackh726 merged 2 commits intorust-lang:mainfrom
nikomatsakis:main

Conversation

@nikomatsakis
Copy link
Contributor

No description provided.

@jackh726 jackh726 added this pull request to the merge queue Feb 11, 2026
@github-actions
Copy link

Dry-run check results

[WARN  sync_team] sync-team is running in dry mode, no changes will be applied.
[INFO  sync_team] synchronizing crates-io
[INFO  sync_team] synchronizing github
[INFO  sync_team] 💻 Team Diffs:
    📝 Editing team 'rust-lang/all':
      Deleting member 'nandsh'
    📝 Editing team 'rust-lang/goals':
      Deleting member 'nandsh'
      Deleting member 'traviscross'
      Deleting member 'davidtwco'
    💻 Repo Diffs:
    📝 Editing repo 'rust-lang/bors':
      Rulesets:
          Ruleset for main
            No changes
    💻 Org membership Diffs:
    ❌ Removing the following members from `rust-lang`:
      - nandsh

Merged via the queue into rust-lang:main with commit 7d087b0 Feb 11, 2026
3 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.

2 participants