Deployments disabled for up to 15 minutes

Deployments will be disabled for up to 15 minutes on Thursday 2019-06-27 at 10:00 UTC (12:00 CEST).

We will perform a migration of the Git repositories. Once deployments are enabled again, you may have to wait a few more minutes depending on your DNS cache.

EDIT: This has been postponed.