I’m planning to shift the forum to a new and rather more capable server. During this migration of data, the forum will be unavailable.
The old server will be shut down at 2021-03-07T08:00:00Z; I don’t know how long the migration will take. In the worst case, I’ll bring the old server back up at 2021-03-07T12:00:00Z.
https://status.firedrake.org/ will contain the latest information.
And we’re back! At least as far as I can tell. I’m only typing this into the new server, anyway…
You’ve redecorated?
I don’t like it.
All seems fine, I had to login though.
Are you still here @discobot ?
Hi! To find out what I can do, say @discobot display help.
I’ll close this now - but if you have any problems please start a new thread in Site Feedback.
Erk! One more rebuild while I restore the plugins!