Deleting the repository from the server and removing all configurations is all you have to do.
Quoting from the manual:
Removing a repo is not so straightforward. You certainly must remove
the appropriate lines from the conf/gitolite.conf file, but gitolite
will not automatically delete the repo from the server. You have to
log on to the server and do the dirty deed yourself 🙂It is best to make the change in the conf file, push it, and then go
to the server and do what you need to.