又一个收购：AI 时代的 GitHub 为啥值 129 亿美元