I think that the important point here is that GitHub was down, but everyone reasonably expected that it would be back up within a short period. Given that, the effort involved in modding your workflow to not use GitHub wasn't worth the benefit over waiting an hour or two.