Maintenance

DevOps maintenance window on 24 August 2023 between 6 pm and 7 pm

We are streamlining our DevOps setup in order to make it easier to configure and roll out base services. We do not expect there to be any downtimes, but if there are any despite our best efforts, they should be very brief (1 up to a few minutes).