微软 CEO 表示，GitHub 目前拥有 2.25 亿用户。