Taken away use of "without_project_bots" option in the users API option as this is not yet supported in the upstream PHP GitLab API client component.

#50

(Reverse this commit should this option become available.)

Author: Adambean

src/LdapSyncCommand.php

@@ -1355,7 +1355,16 @@ private function deployGitlabUsersAndGroups(array $config, string $gitlabInstanc
         $this->logger?->notice("Finding all existing Gitlab users...");
         $p = 0;
 
-        while (is_array($gitlabUsers = $gitlab->users()->all(["page" => ++$p, "per_page" => 100, "without_project_bots" => true])) && [] !== $gitlabUsers) {
+        while (is_array($gitlabUsers = $gitlab->users()->all([
+            "page"                  => ++$p,
+            "per_page"              => 100,
+            /* Option not yet supported in the PHP GitLab API client component:
+            "without_project_bots"  => true,
+             * See:
+             * - https://github.com/Adambean/gitlab-ce-ldap-sync/issues/50
+             * - https://github.com/GitLabPHP/Client/issues/810
+             */
+        ])) && [] !== $gitlabUsers) {
             /** @var array<int, GitlabUserArray> $gitlabUsers */
             foreach ($gitlabUsers as $i => $gitlabUser) {
                 $n = $i + 1;