Fixed extra group memberships not being deleted.

This was visible with error message "Group member #%d: User not found." due to a sanity check that shouldn't be here. (This in fact blocked knowledge of the extra membership being known.)

Fixes #2

src/LdapSyncCommand.php

@@ -1406,11 +1406,6 @@ private function deployGitlabUsersAndGroups(array $config, string $gitlabInstanc
                         continue; // The Gitlab root user should never be updated from LDAP.
                     }
 
-                    if (!isset($membersOfThisGroup[$gitlabUserId]) || $membersOfThisGroup[$gitlabUserId] != $gitlabUserName) {
-                        $this->logger->error(sprintf("Group member #%d: User not found.", $n));
-                        continue;
-                    }
-
                     $this->logger->info(sprintf("Found Gitlab group member #%d \"%s\".", $gitlabUserId, $gitlabUserName));
                     if (isset($userGroupMembersSync["found"][$gitlabUserId]) || $this->in_array_i($gitlabUserName, $userGroupMembersSync["found"])) {
                         $this->logger->warning(sprintf("Duplicate Gitlab group member #%d \"%s\".", $gitlabUserId, $gitlabUserName));