-
Notifications
You must be signed in to change notification settings - Fork 56
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
User removed even though all requirements were addressed #60
Comments
Hmm, must be something going wrong in https://github.com/guardian/gu-who/blob/666997a77e/app/lib/OrgUserProblems.scala#L80-L94 . Do you run gu-who frequently or manually every once in a while? There might be a bit of a race condition that gets exposed if gu-who runs are far apart. Possibly we don't see this issue at the Guardian because we're running gu-who on an organisation webhook, so it gets run pretty frequently. |
There was a big gap indeed, we were trying to get access to some bot account that would be removed otherwise (and it was, correctly). |
If you add the bot to a team called
The GitHub docs aren't very clear on this, but I believe it's just org owners who have access to the |
Yes, the full name |
The comment was added:
The text was updated successfully, but these errors were encountered: