I think there should be another page 'GitHub is NOT down'. Needless to say, for all the other times it's Down.