Why do we always have a comment like this completely missing the point about Github? If git was synonymous of Github, Microsoft would not have spent 7 billion to buy it, there's a lot of features on top of git. And for me, whether it's a decision of the US government or Github does not matter much.