Skip to content

Sync organization members #1866

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 1 commit into from
Closed

Conversation

Kobzol
Copy link
Contributor

@Kobzol Kobzol commented Jun 4, 2025

This PR finishes the work from rust-lang/sync-team#91 (I used @me-diru's code, adapted it to the modified codebase and marked them as an author).

I guess that it would be good to repost this PR by an infra-admin, so that we could get a dry-run for it.

Fixes: #1731

Copy link

github-actions bot commented Jun 4, 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

@pietroalbini
Copy link
Member

I will re-submit this.

@pietroalbini
Copy link
Member

#1867

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.

Remove users without a team from GitHub
3 participants