Removing users
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).
Get Gitolite Essentials now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
