我今天想去https://gerrit.openfyde.cn下源码,但是开发机和编译服务器均提示502 badgateway,昨天都还好的

如题,是不是服务器故障了?还是我网络有问题?

服务器维护,会尽快修复的。