In this instance I’d say it’s rather a question of how naive/innocent you think the poster must be for it to not be sarcasm.
Wouldn’t it be wonderful if when GitHub is down we could just move to a different GitHub instance? Isn’t it sad that we can’t, although it would be very feasible technologically?
This is a problem to work on, but it's not a Git problem.