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?
You can edit _darcs/prefs/defaults on the remote repo to disable
certain commands.
For example, the following disables the unpull and unrecord commands.
$ cat _darcs/prefs/defaults
unpull disable
unrecord disable
This is documented at <http://www.darcs.net/manual/
node5.html#SECTION00510010000000000000>.
--Terry
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
