It can also be done by checking the user's role on GitHub, instead of relying on which team they're on.
It can also be done by checking the user's role on GitHub, instead of relying on which team they're on.