Github 的 CEO 托马斯·多姆克离职，准备创业去了。后续 GitHub