[darcs-users] prevet unrecord/unpulling pushed patches

Terry Smith terry at shebiki.org
Thu Apr 26 15:28:22 UTC 2007


> 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



More information about the darcs-users mailing list