3 ms·

How bad is a github downtime? I guess it all depends.