Adolfo Builes <[email protected]> added the comment: On Tue, Aug 24, 2010 at 3:49 AM, Petr Ročkai <[email protected]> wrote: > > Petr Ročkai <[email protected]> added the comment: > > For all I can tell, the patch breaks this scenario (I haven't tried, but > it looks like it would): > > mkdir x > darcs init --repo x > echo x > x/x > darcs rec -lam x --repo x > darcs get x y --lazy > darcs get y z --lazy > rm -rf y > darcs chan -v --repo z > You are right, it does break that scenario.
What we shouldn't copy are the local entries in source from the repo we are puling from, if it is remote. __________________________________ Darcs bug tracker <[email protected]> <http://bugs.darcs.net/patch360> __________________________________ _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
