GitHub is the world's biggest software development platform and code repository, and right now it's having some problems. Even though the GitHub site and most web functions are working as intended, ...