2018-06-07 UTC
# 
@kevinmarks “GitHub makes it easier for large, loosely coordinated groups of programmers—in corporations, for instance—to use git. It has a well-designed web interface. If you don’t think that’s worth $7.5 billion, you’ve never read the git manual.” @ftrain https://www.bloomberg.com/news/articles/2018-06-06/github-is-microsoft-s-7-5-billion-undo-button (twitter.com/_/status/1004633973262127104)