AI-Agents are hammering GitHub.

Whatever the actual increase in productivity may be, the commits, clones, pushes, action runs, etc. are skyrocketing.