Puppet Infrastructure Maintenance from 2022-09-15 14:00 CEST to 2022-09-15 15:00 CEST

The Puppet infrastructure is due for a maintenance regarding the Ingress controller. We expect a downtime of only a few minutes at a time between Sep. 15 2pm and 3pm (UTC+02:00).

Thanks for your understanding.