Hi, using 1.0.3, I just had a situation like the following:
Consider repo A with some file foo, ,----[ repo A: foo ] | contents | of | foo. `---- as well as a repo B that is just a copy of repo A. Now repo A records some patch, A1, that changes "of" to "of file". Now repo A records a second patch, A2, that deletes the second line, so that we get ,----[ repo A: foo ] | contents | foo. `---- Clearly, A2 depends on A1. If I now want to pull A2 into repo B, I also have to pull A1 to fulfill the dependency, but none of the lines that were affected by A1 will be present after pulling A2. In other words, the only aspect of A1 that matters to the result of pulling A2 into B is that its effects are limited to a certain set of lines; the precise contents of those lines are, however irrelevant. As the specific changes caused by pulling A1 into B do not survive pulling A2, A1 is, in a sense, a "harmless" patch. In case this is easy to add, it would be nice if darcs could tell me so when asking whether or not to pull it. (I just spent quite some time hunting for the equivalent of "of file" in a largish file.) Regards, Albert. _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
