Downtime on 16 July 2023

The site will be unavailable from 2023-07-16T08:00:00Z for major system updates and a Discourse rebuild. This will probably take an hour or more. As always, check https://status.firedrake.org/ for updates.

3 Likes

Reminder: this will be happening tomorrow.

2 Likes

And we’re back!

“Five to one against and falling…” she said, “four to one against and falling… three to one… two… one… probability factor of one to one… we have normality, I repeat we have normality.” She turned her microphone off-then turned it back on, with a slight smile and continued: “Anything you still can’t cope ith is therefore your own problem. Please relax.”

For anyone interested:

  • 2023-07-16T08:00:00Z: forum to read-only; full backup; copy backup to another server
  • 2023-07-16T08:30:00Z: export all docker images (because I need to migrate from aufs to overlay2); remove docker packages
  • 2023-07-16T10:01:00Z: upgrade Debian 10 → 11
  • 2023-07-16T10:40:00Z: upgrade Debian 11 → 12
  • 2023-07-16T11:05:00Z: reinstall Docker; load Docker images
  • 2023-07-16T11:46:00Z: Discourse upgrade
  • 2023-07-16T11:54:00Z: all done
4 Likes