I can't help but wonder if GitHub (and similar code infra providers) are crumbling under 1000x or 10000x load from coding agents.