微软旗下GitHub的CEO Thomas Dohmke将离职，此前已经在微软供职大约四年时间（负责软件编程平台的运营）。