The site will be unavailable from 2025-07-13T08:00:00Z (or perhaps a bit later) for a server reboot and Discourse rebuild. I estimate that this may take up to half an hour. As always, check https://status.firedrake.org/ for updates.
This work has been completed.
3 Likes