[rdo-users] [infra][outage] Planned migration for lists.rdoproject.org on November 1st, 1:30 AM UTC