> darcs pull && darcs push Hmm, will that stop at the first conflict, or will it make a massive mess for you to untangle? Juliusz