Ask GitHub SRE: How serious is the situation there?