“Prior to its acquisition by Microsoft, GitHub had a narrow product focus on being a source code hub and had neglected to build features for other parts of the software development lifecycle, such as CI/CD.”