Add a post-delete script to remove the associated gitolite repos