-
-
Notifications
You must be signed in to change notification settings - Fork 27
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Extra groups or removed users don't get synced #25
Comments
Hrm... I'll need to look into this. That should work.
This is by design. We don't remove accounts since users might be added/revoked with regularity. For example, added when they are on-call, and revoked when they are off duty. Also, admins might want to audit accounts after having deactivate them.
Keys are pulled in real-time from the GitHub API. This is what allows for immediate revocation.
Yes, this is you're right - this may be an edge case we do not consider. @goruha would this be easy to address? |
Leaving the users behind is not a huge deal, especially if by design. Out of curiosity however, when is the
|
@bcorijn |
@goruha any update on this. |
@aknysh No. Let it be open. |
When you add non existent groups (by mistake), the user gets created but the groups never get added. |
Is this repo still maintained? |
Hi,
I've been trying to deploy your application through the provided helm chart, but while it created all the users in my GitHub team on first run, they never get added to the groups I supplied afterwards (as I forgot on first deploy). Upon deletion of the chart, the application seems to remove the ssh keys, but it leaves the users around.
This has as affect that users get left behind on the system of course, but also that upon the next sync/start it finds the user and does not do a full sync of the groups.
The text was updated successfully, but these errors were encountered: