hi, probably this is known to every old darcs user: if you push a patch to a remote repo which is accessible by others, then it's really bad to unrecord/unpull that patch
though newbies (to darcs) regularly do so and afaik there is no way to prevent this so the questions are: 1) is there any way to do so? 2) if not, should i sent a feature request about having a --no-remote (or something like that) option for unrecord/unpull? fortunatelly they can't do a too big mess just they fail to push the new patch, then pull and get a conflict thanks, VMiklos -- developer of Frugalware Linux - http://frugalware.org
pgpb4njREmptD.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
