gitolite: Better name for the default user.