GitHub Copilot: GPT-5.2 and GPT-5.2-Codex deprecated | Hacker News Reader