GitHub's former CEO launches a distributed Git network built for the agentic coding age

The developer tools startup said it's building better infrastructure for a future run by coding agents.