Yesterday Github was down for some minutes

Yesterday, one of the Github service went down for some moments, As developer that use Github or SAAS builder that build solution on top Github, how do you know that it was Github service that went down, not your internet?