Former GitHub CEO says git wasn't built for AI-authored code — and launches a rival to prove it — type0 | type0