...or that they simply considers github to have a more robust server infrastructure?