To make the future outages much shorter, we need to flip our production stack to a new set of IPs, which will require us to change DNS records.
This action shouldn't cause any outage in ideal case, but potentially we'll have to reboot some services (outage shorter than 3 minutes, e.g.). We'll do it tomorrow, 2020-11-12 around 10:00 CET. Pavel _______________________________________________ copr-devel mailing list -- [email protected] To unsubscribe send an email to [email protected] Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedorahosted.org/archives/list/[email protected]
