[darcs-users] darcs unpush?

[Sartak]

On 5/3/07, Ingo Weiss <ingo at ingoweiss.com> wrote:
> Hi,
>
> Is there a way to undo the pushing of a patch to a repository? I have
> a patch that I pushed to the repository, but I would like to undo
> this. That patch has been pulled by one other user, but that user did
> run 'unpull' to undo the pull.
>
> Ingo
> _______________________________________________
> darcs-users mailing list
> darcs-users at darcs.net
> http://lists.osuosl.org/mailman/listinfo/darcs-users
>

Hi Ingo,

There is (at least) one way, if you have control of that central
repository. Run darcs unpull on _that_ repo.

Alternatively you can push the inverse patch (which should have a
dependency on the original patch so no one would apply the inverse
without the original).

Good luck!
Shawn M Moore