I’m a relatively casual user of GitHub and even I’ve run into availability issues when pushing up changes. Your comment makes it sound like you don’t use GitHub much at all or maybe are in some time zone or AZ that’s somehow insulated.