GitHub rewrites Git storage from scratch to cope with AI agent traffic surge