[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