Ongoing maintenance for ci.bigtop.apache.org

[Luca Toscano]

Hi folks,

working on https://issues.apache.org/jira/browse/BIGTOP-4038, so
ci.bigtop.apache.org may not be working for a couple of hours.

Let me know if this is a problem or not.

Thanks!

Luca