Why Microsoft is buying GitHub in $7.5 billion deal (Washington Post)