Could you please move this option to its "brethren" in the gitolite section and rename it accordingly?