[darcs-devel] [issue1026] pull => bug in get_extra commuting patch (2.x)

[Eric Kow]

Eric Kow <eric.kow at gmail.com> added the comment:

That would be http://bugs.darcs.net/issue27

So it sounds like there is not much more we can do for this ticket, except to
give the user better advice when get_extra fails, explaining roughly why darcs
is confused -- it thinks that two patches are the "same" when they really are
not -- and what the user can do about it (not much? maybe this is a mistaken
pull anyway?)

Otherwise, it sounds like we should work on issue27 to prevent future
occurrences of this confusion.

----------
superseder: +patch ids are not collision-free

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/issue1026>
__________________________________