Hello, as we are having several contractors leaving the company, I need to review their access to our repo and I can't find an easy way to search if a particular user has access or not. What I have been doing is manually scrolling through the list of more than 100 developers to see if they have access to it or not.
I would like to know if there a simple way of doing this, basically if I can search of a user within the repo and if found to be able to remove them.
When going to User Groups section I see there is something that looks like a search box, but is only to be able to add new users, not so search within the list of existing ones.
Thank you.