REPL commands to delete a user on the CircleCI Server installation

Sometimes it is necessary to remove users from your private installation of CircleCI. To do this, SSH into the services instance and run the following:

circleci dev-console
(circle.http.api.admin-commands.user/delete-by-login-vcs-type! "github-username-of-user" :github)