On Saturday 11 April 2009 23:49:23 David ‘Bombe’ Roden 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).
What I intended to say: it’s possible for every developer with commit rights to “fix” the repository and reverse a non-fast-forward commit. David
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Devl mailing list Devl@freenetproject.org http://emu.freenetproject.org/cgi-bin/mailman/listinfo/devl