This repository was archived by the owner on Mar 31, 2025. It is now read-only.

Remove users without a team from GitHub#88

Closed

georgegarrington wants to merge 1 commit into

rust-lang:masterfrom

georgegarrington:remove_user_from_org

Workflow runs completed with no jobs