Gerrit downtime

Hi,

due to the upcoming migration Gerrit will be offline from now on until about 1930 UTC.

Thanks,
Alex

Hi,

the file transfer is slower than expected, so the revised ETA will be about 2230UTC.

Thanks,
Alex