[darcs-devel] [patch1888] remove no-packs option
Ben Franksen
bugs at darcs.net
Thu Aug 22 08:05:47 UTC 2019
Ben Franksen <ben.franksen at online.de> added the comment:
> Presumably not all problems would be detected, e.g. if the packs
> appeared correct but contained wrong data.
Hm, yes, that's right.
> Anyway, I don't mind if it helps clean something up.
Not really. I just stumbled over this option and thought: would I ever
want to use --no-packs? You gave a good answer to that, so let's keep it
for now; I'll mark the patch as in-discussion, perhaps I'll come back to it.
__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch1888>
__________________________________
More information about the darcs-devel
mailing list