，GitHub首席执行官将卸任。