Unfriendly HEAD is unfriendly

[Roman Leshchinskiy]

On 04/08/2008, at 20:50, Claus Reinke wrote:

> 0. for each platform, have a list of successfully tested patches
> 1. push patches as now
> 2. humans pull the lists of tested patches, then only pull
>   the patches on the list for their platform (unless they
>   are trying to debug the failed patches) - this could be
>   handled by a script like darcs-all
> 3. builders pull all patches, try to build
> 4. whenever a builder succeeds, it adds all its patches to
>   the list for its platform

I think it is important that everyone has the same source tree and  
that darcs-all pull gets the same patches for everyone and my gut  
feeling is that breaking this will result in chaos.
In particular, it is crucial to pull all changes before pushing (to  
spot conflicts).

Roman