Skip to content

Sync organization members #1867

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

Conversation

pietroalbini
Copy link
Member

Re-submitting #1866 as requested:

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

@Kobzol
Copy link
Contributor

Kobzol commented Jun 4, 2025

Oh, sorry, what I forgot to mention is that the point is to resubmit from a branch directly on this repo. Otherwise the dry-run still won't run properly, because this PR is from my fork's branch.

@pietroalbini
Copy link
Member Author

Groan.

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