If Github is down, pull directly from each other's git repos. Works just fine. You may need to temporarily change build scripts, but better would be to have a l

If Github is down, pull directly from each other's git repos. Works just fine. You may need to temporarily change build scripts, but better would be to have a local repo server that the build scripts pull from. In normal circumstances that local repo would just pull from Github, but when it is down you push changes to it instead.