Remove users without a team from GitHub

[jdno]

Right now, we invite new users to the rust-lang GitHub organization when they are added to a team. Eventually, they might stop contributing to the team and leave it again. When that happens, they are removed from the team in the rust-lang/team repo.

When a user is no longer part of any team or working group, we should also remove them from the rust-lang GitHub organization. This a) cleans up the members of the organization, making it easier to manage and review them. And b) frees up seats in the organization. The latter will become more relevant in the future, when admins will need to manually add seats in case we run out of our current allocation.

[me-diru]

Interesting, I was going through how membership in Rust GitHub Org works and it seems alumni are still kept in the GitHub org?

Source: https://forge.rust-lang.org/compiler/membership.html#alumni-status

Maybe it has changed now, and would love to get more insights on this :D

[jdno]

Yes, right now they are still kept in the GitHub organization. But that's what we want/need to change, since it becomes unsustainable with time.

[georgegarrington]

Hey, I would like to work on this - having a look at it now

[MarcoIeni]

Personal notes

This is what we need: https://docs.github.com/en/rest/orgs/members?apiVersion=2022-11-28#remove-an-organization-member

What we want to do is:

1. Call the GitHub api to get the list of members of the org
2. Diff against team members of the teams of the SyncGitHub. We don't want to use team.members of the GitHubTeam struct because we want toml data, not what's in GitHub

[MarcoIeni]

Hey @georgegarrington thanks for your help on this 🙏
Do you plan to finalize the work on #88 or should we continue from there?

[georgegarrington]

@MarcoIeni hi Marco still up for doing this however I won't have time right now so feel free to re-assign if necessary

[MarcoIeni]

Ok, don't worry and thanks again for your help :)

If someone else wants to pick this, let us know.
Otherwise, feel free to work on it when you feel like!

[me-diru]

Hey @MarcoIeni !.
I wanna try giving this a shot :D

[MarcoIeni]

Go for it! 😁 I assigned the issue to you 👍

If you need anything, just ask!