Noch ne Idee - IRC und bei solchen Problemen laut rufen - mal im Ernst, das Forum ist da ein wenig zu statisch für:
a) Der Server ist wirklich kurzfristig nicht erreichbar - wenn wir das nach Stunden lesen, ist der wieder oben, was sollen wir noch tun?
b) Server ist oben, aber irgendwo auf dem Weg kracht es, zum Beispiel beim DNS. Wird sich wahrscheinlich auch kurzfristig selbst heilen, der Mechanismus ist dynamisch - und es gibt verdammt viele Beteiligte
c) dito b, aber irgendwelche Routen und Gates zum jeweiligen Provider gehen nicht. Selbstheilung irgendwann ..
d) Server ist Down - wirklich. Kann passieren, dann würden wir das auch gerne zeitnah wissen.
Punkt d ist für die Repos recht unwahrscheinlich, für das Forum momentan leider nicht, das wird sich erst in ein oder zwei Monaten gravierend ändern. Bis dahin kann es sein, dass das Forum mal 5-10 min schweinelangsam ist, bevor es sich selbst heilt, abhilfe wird hier mit systemd und dem php watchdog kommen, der dann wesentlich fixer reagiert.