Short gerrit downtime

Hi,

due to the need to clone the gerrit vm, there will be a short downtime today at 1530 UTC.

Please excuse any inconveniences caused,

Alex