GitHub Used AI Agents to Rewrite Copilot’s Runtime in Rust