gitring: many coding agents, one codebase