Even if that were a fact, then that's the one time github should not be updating. Their customers will be doing deployments on a Friday afternoon, thus require

Even if that were a fact, then that's the one time github should not be updating. Their customers will be doing deployments on a Friday afternoon, thus require their repositories for their internal processes to work