Maintenance

SSL certificates were updated.

Gitea has been updated and is fully operational.

Some SSL certificates must be renewed. This might cause a short disruption in some services' availability.

This maintenance work includes major cross-system updates and might result in a short downtime of some services.