registry.opensuse.org will be down (Was: Build Service cut over 2023-08-24 16:00 UTC)