The engineering behind GitHub Copilot CLI's animated ASCII banner | Dark Hacker News