Beyond Git: Coordinating humans, agents, and automation in a repo with a ledger · HackerTrans