微软旗下 GitHub 更换 CEO:由产品主管接手