Dmitry Kurochkin wrote: > Hi! > > My second attempt on resolving issue1039. This time we check for > common patchinfos instead of introducing repo-id. > > Besides --ignore-unrelated-repos flag is introduced to skip the check. > And test is there as well.
but what we're doing with that flag is *not* ignoring repos if they're unrelated; it's ignoring *whether* they're unrelated. What's a better flag name? Maybe --no-warn-unrelated-repos? -Isaac _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
