Deployments will be disabled for up to 15 minutes on Thursday 2019-06-27 at 19:00 UTC (21: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.
19:00 UTC: Maintenance is starting, deployments are now disabled (except for Github deployments).
19:13 UTC: The maintenance will last longer than initially planned, we are experiencing an issue and are looking into it.
19:15 UTC: The issue is fixed. We are making sure that everything is indeed fine. Some deployments may now go through, depending on your DNS cache.
19:30 UTC: Maintenance is over; if you encounter an issue, please refresh your DNS cache.