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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part.
URL:
<https://emu.freenetproject.org/pipermail/devl/attachments/20090412/889bb01b/attachment.pgp>
