On Saturday 11 April 2009 19:00:19 Matthew Toseland wrote:

> Would that be propagated when devs update their local trees via pull?

Yes, the remote branch heads are changed to whatever they’re pointing to in 
the remote repository. The local branches are either not touched or not 
merged with the new remote head, depending on whether you’re doing a fetch or 
a pull (which is fetch + merge).


        David

Attachment: signature.asc
Description: This is a digitally signed message part.

_______________________________________________
Devl mailing list
[email protected]
http://emu.freenetproject.org/cgi-bin/mailman/listinfo/devl

Reply via email to