If you're experiencing synchronization issues with GitHub or need to completely remove a user from your CircleCI server installation, this guide provides the necessary steps. This process involves executing a REPL command to delete the user by their GitHub username.
Prerequisites
Access to your Kubernetes cluster.
If operating in an air-gapped environment, refer to the CircleCI Air-Gap REPL Guide
Instruction
Execute the REPL Command: Use the following command to delete the user by their GitHub username. Replace "github-username-of-user" with the actual GitHub username of the user you wish to delete.
kubectl exec -it "$(kubectl get po -l app=frontend -n circleci-server -o jsonpath='{.items[0].metadata.name}')" -n circleci-server -- lein repl :connect 6005 <<<'(circle.http.api.admin-commands.user/delete-by-login-identity-type! "github-username-of-user" :github)'