在AI（人工智能）编程工具市场的竞争愈发激烈之际，微软旗下GitHub平台的领导者宣布将于年底离任。 当地时间8月11日，全球最大代码托管平台GitHub的CEO托马斯·多姆克（Thomas Dohmke）在一篇博客中宣布，他将在今年年底离开GitHub，“重新成为一名创始人”。