I’ve found several threads raising this issue, but all were closed due to lack of response, not with a resolution. I removed someone from our github organization, but their account still shows on CircleCI. There is no UI to remove them or manage members. For compliance reasons, this won’t work. Is there a delay between the two or was this just never implemented?
There is a delay, but if this is still a problem could you reach out to firstname.lastname@example.org with your GH username and GH org?
Due to this delay, the best way to get this done right away is to open up a ticket, we can remove users on our end.
This topic was automatically closed 10 days after the last reply. New replies are no longer allowed.