微软旗下GitHub首席执行官Thomas Dohmke将卸任，拟创办新公司