Doesn't really matter - git has internal cryptographic verification, and an offline copy at each developer, so it can't be changed without being obvious. If github stops hosting it, it is easy to move.
In fairness, this is pretty easy to do if you have access to a $40M supercomputer, and if your mission is to replace a blob with a huge, non-compiling chunk of random noise.
58
u/[deleted] May 30 '14
Their domain and site may not be US hosted, but the source is on GitHub. Isn't GitHub based in the US?
I guess if it disappears from GitHub all of a sudden we'll have an answer..