The site will be unavailable from 2020-05-30T07:00:00Z while both Docker and the Discourse software are upgraded. I estimate that this may take about half an hour. As always, check https://status.firedrake.org/ for updates.
All done and shiny.
4 Likes