Book Image

Gitolite Essentials

By : Sitaram Chamarty
Book Image

Gitolite Essentials

By: Sitaram Chamarty

Overview of this book

Table of Contents (19 chapters)
Gitolite Essentials
About the Author
About the Reviewers

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).