“GitHub Copilot reached general availability (GA) in June 2022, prior to the launch of ChatGPT.”