عندما غادر توماس دومكي رئيس GitHub العام الماضي، بدأ ثلاثة من كبار المسؤولين التنفيذيين في GitHub بتقديم تقاريرهم إليها.