[darcs-users] prevet unrecord/unpulling pushed patches

VMiklos vmiklos at frugalware.org
Wed Apr 25 21:06:00 UTC 2007


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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://lists.osuosl.org/pipermail/darcs-users/attachments/20070425/f66f4629/attachment.pgp 


More information about the darcs-users mailing list