It is currently 12:26 in my time zone. I can be available to look at issues starting roughly 19:00 today. Can you do the update in the meantime? Even if the VM died, serving should not be impacted: the redirects are also done by cgi-grnet-01, and the generated static pages would go stale.
On Mon, Sep 2, 2019 at 12:19 PM Hector Oron <zumbi@debian.org> wrote: