[darcs-users] another bug

[Adam Megacz]

  curl http://www.megacz.com/tmp/bad.tgz | tar -xvzf -
  cd bad
  darcs pull -a --patches='add givetoadam target'
  darcs repair
  darcs pull -a --patches='add givetoadam target'
  darcs repair
  darcs pull -a --patches='add givetoadam target'
  darcs repair
  # and so on...

The "pull" command will put the repository into an inconsistent state;
'darcs repair' appears to fix it, but "unpulls" the patch.  When you
try to run the pull command again, the same thing happens -- so the
repository can be consistent or it can contain the 'add givetoadam
target', but not both.

Doing a 'darcs revert' after the repair does not help.

  - a

-- 
PGP/GPG: 5C9F F366 C9CF 2145 E770  B1B8 EFB1 462D A146 C380