Removing Gitolite users is pretty simple. Just remove all the keys pertaining to the user (in case they have more than one, as discussed in an earlier section) from a clone of the gitolite-admin repository. This should be done using the git rm
command, not a plain rm
command.
After that, commit the change and push it.
You can confirm the removal in a couple of different ways. First, the keys you just removed should no longer be available in $HOME/.gitolite/keydir
on the server. Second, the user should not be found if you search for the name in the authorized keys file ($HOME/.ssh/authorized_keys
).