1. 2020-01-29 [1] [Maintenance] - patches.linaro.org down time 01/02/20 linaro-de Kelley Spoon 2. 2020-01-29 [1] [Maintenance] - gerrit servers down time 01/02/2020 linaro-de Kelley Spoon 3. 2020-01-16 [1] [Maintenance] - ci.linaro.org down time 18/01/2020 linaro-de Benjamin Cope