Hi.
I’ve searched on the forum for similar issues and while I found some the solutions are never posted or just adjusted by someone on the Sonar side.
We have our organzation in Sonarcloud tied to our org in GitHub, and for the most part the member sync works just fine. We do have a user that owned an org in Sonar in the past, he dropped from it and even after a couple days his GitHub user is not showing up as a member of our Sonar org. He did try to log in to our org page but only sees one of our public repos.
Who can help us get this sorted so this user can be added to our org?
I can share the username and involved orgs in private.
cheers!