“GitHub Copilot was generating potentially more than $100 million in revenue in 2022.”