“At the time of its acquisition by Microsoft, GitHub had approximately 800 employees.”