Gitlab repos are not checked for additional users
When removing users without permissions, currently only groups are checked. This presents no issues in a bubble, but becomes an issue if users are being modified outside of the standard script runs. If users (Project Leads) are given maintainer, then the script could be bypassed for permissions.