We have removed a user from our organisation on Github, but (4 days later) they have still not been removed from our CircleCI organisation. There seems to be no way to do this from within the UI. There are a number of other threads asking about this (from Jan '16 to Dec '18):
- Improve User Management
-
Circle CI users not in sync with github organization users
(other two below)
However, it seems that the only way to do it is to put in a support request. This is not very scalable and pretty slow. Is there no other way to remove users from an organisation?
https://discuss.circleci.com/t/how-can-i-remove-a-user-account-from-our-organization/23536
https://discuss.circleci.com/t/users-removed-from-github-organization-still-on-circleci/27201