Florent Becker wrote:
4. Darcs verifies F without having to commute anything.
5. Darcs turns F into F' to apply it to Jane's context.
6. Darcs keeps both F and F' in the repository.
...
Since Mike is pulling from Jane, we can assume that Joel is off-line forever,
and that Mike has a repository like ABXYMN [and wants to ABXYMNF'']. Step
5 is now impossible for Mike. He has no access to CDE (since Joel died in a
mysterious car-crash after Jane fixed his brakes), which he needs to
check that F and F' are related, and that the package he got from Jane is not:
??? Mike will never see Jane's F'. He only gets F. When darcs pulls
from Jane, the copy he gets is the original F, not F'. What does Mike
need F' for?
Daniel.
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
