Fix gitolite files