Re: #5836: Update gitolite to gitolite3