Evita que los agentes se pisen
El primer agente trabaja en tu proyecto; cada uno de los siguientes recibe su propio checkout de git, al que se traslada antes de escribir una sola línea. Un archivo que dos agentes han tocado se pone en rojo en ambas filas. Las ramas terminadas vuelven a casa solo cuando están commiteadas y el typecheck pasa.

