Downtime on 11 November

The site will be unavailable from 2023-11-11T09:00:00Z for a Discourse rebuild. I estimate that this may take up to half an hour. As always, check https://status.firedrake.org/ for updates.

1 Like

This work has been completed.

Note:

β€œThe discourse-spoiler-alert plugin has been integrated into discourse core. Please remove the plugin from your app.yml and rebuild your container.”

so I did. Seems as though it still works.