Do we have metrics for the uptime of other major services? Would be interesting to see if this is just a GitHub problem or industry-wide.