“GitHub Actions was built by adapting existing technology and team members from Azure Pipelines, a component of Azure DevOps, in early 2019.”