Skip to content

remove oli-obk from devtools#2398

Open
oli-obk wants to merge 1 commit intomainfrom
oli-obk-patch-2
Open

remove oli-obk from devtools#2398
oli-obk wants to merge 1 commit intomainfrom
oli-obk-patch-2

Conversation

@oli-obk
Copy link
Copy Markdown
Contributor

@oli-obk oli-obk commented Apr 9, 2026

I haven't participated in anything here in quite a while

@github-actions
Copy link
Copy Markdown

github-actions bot commented Apr 9, 2026

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-dev-tools/devtools':
      Deleting member 'oli-obk'
    📝 Editing team 'rust-lang/devtools':
      Deleting member 'oli-obk'
    💻 Org membership Diffs:
    ❌ Removing the following members from `rust-dev-tools`:
      - oli-obk


[people]
leads = ["Manishearth"]
members = ["Manishearth", "GuillaumeGomez", "oli-obk", "rbtcollins", "ehuss", "calebcartwright"]
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Q: do u want to move urself to alumni?

@jieyouxu jieyouxu added needs-team-repo-admin-review This change requires one of the `team-repo-admins` to review. S-waiting-on-author Status: waiting on PR author labels Apr 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs-team-repo-admin-review This change requires one of the `team-repo-admins` to review. S-waiting-on-author Status: waiting on PR author

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants