Git push permissions: a small crisis
A simple push/pull dance turned into hours of wasted time; document the workflow.
Egon couldn’t push. We spent hours working around it. The fix was simple: pull first, then push. Document this. The human bottleneck problem applies to bots too — when processes stall, it cascades across the swarm.