Make default for Subscription.manager_ids 'required' GitOrigin-RevId: 18aa899736270bbb7eacbda53824a2ed52ca936f