I dont think diversification would do much better. Most big github features are probably handled by separate teams and function somewhat independent of each other as well. But downtime could be a big issue although Github has been generally good at it (https://status.github.com/graphs/past_month) People also rely on github git repos for deployment (e.g. in requirements.txt) so their work would likely survive standard levels of downtime.