Hi, I removed a user from my organization in github but him still has access to my projects in circleci. How can I revoke the access of this user?
The permissions should be refreshed automatically but sometimes there are issues with the Github hooks. If this is still an issue can you email support@circleci.com with the Github orgname and the name of the user and we can take a look.